368 search results - page 62 / 74 » A Layered Software Architecture for Quantum Computing Design... |
114
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
142
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
126
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
115
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
118
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Synchronous dataflow (SDF) has been successfully used in design tools for system-level simulation of wireless communication systems. Modern wireless communication standards involv...