1016 search results - page 42 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
The problem of capturing provenance for computational tasks has recently received significant attention, due to the new set of beneficial uses (for optimization, debugging, etc.)...
104
click to vote
GLVLSI
2009
IEEE
15 years 1 months ago
2009
IEEE
Modern embedded devices (e.g., PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems include multi...
110
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...