We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
On the Problem of Optimizing Parallel Programs for Complex Memory Hierarchies
On GID-Testable Two-Dimensional Iterative Arrays
Real-Time Collision-Free Path Planning for Robots in Configuration Space
Automated Theorem Proving in Temporal Logic:T-Resolution
An Improved Bottom-up Method for Implementing Equational Programming Language
Extrapolating Acceleration Algorithms for Finding B-Spline Intersections Using Recursive Subdivision Techniques
An O(k~2n~2) Algorithm to Find a k-Partition in a k-Connected Graph
A Method for Minimization Design of Two-Level Logic Networks Using Multiplexer Universal Logic Modules
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation