144 search results - page 15 / 29 » Time-Space Tradeoffs for Satisfiability |
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
In this paper, we discuss what we believe is the grand challenge facing the software quality research community: the ability to accurately define, in the very earliest stages of d...
ITC
2002
IEEE
14 years 16 days ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Parallel programming models should attempt to satisfy two conflicting goals. On one hand, they should hide architectural details so that algorithm designers can write simple, port...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
AIIDE
2007
13 years 10 months ago
2007
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...