4722 search results - page 703 / 945 » Encoding Program Executions |
114
Voted
PDPTA
2003
15 years 4 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
134
click to vote
WISES
2003
15 years 4 months ago
2003
— Java, a popular programming language on desktop systems, is rarely used in embedded systems. Some features of Java, like thread support in the language, could greatly simplify ...
126
click to vote
WOA
2003
15 years 4 months ago
2003
- Mobile agents are an emerging approach to develop distributed and parallel applications. They also can be used to develop enterprise applications, since they can act as active ne...
125
click to vote
MASCOTS
1998
15 years 4 months ago
1998
As the processor-memory performance gap continues to grow, so does the need for effective tools and metrics to guide the design of efficient memory hierarchies to bridge that gap....
WSC
1998
15 years 4 months ago
1998
In this work we report the results of a discrete time simulation model that we developed for an equipment rental business to study the impact of business decisions. The whole tool...