203 search results - page 21 / 41 » Coping with large design spaces: design problem solving in f... |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
GLVLSI
2003
IEEE
14 years 28 days ago
2003
IEEE
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...
WIAS
2010
13 years 6 months ago
2010
The fundamental role of autonomous agents in managing activities of space systems has emerged some years ago with the NASA’s Remote Agent Experiment. However, the possible advant...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...