738 search results - page 102 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
PCM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
IJCSA
2007
14 years 9 months ago
2007
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
174
click to vote
KDD
2012
ACM
13 years 5 days ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...