1234 search results - page 207 / 247 » A Scheduling and Pipelining Algorithm for Hardware Software ... |
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
CODES
2003
IEEE
14 years 29 days ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
One of the security issues in embedded system is the ability of an adversary to perform side channel attacks. Power analysis attacks are often very successful, where the power seq...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...