176 search results - page 11 / 36 » Efficient Symbolic Simulation of Low Level Software |
75
Voted
ISVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Many network security applications require large virus signature sets to be maintained, retrieved, and compared against the network streams. Software applications frequently fail ...
CASES
2006
ACM
15 years 3 months ago
2006
ACM
We propose an architecture that uses NAND flash memory to reduce main memory power in web server platforms. Our architecture uses a two level file buffer cache composed of a re...
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
WSC
1994
14 years 11 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
CODES
2007
IEEE
15 years 1 months ago
2007
IEEE
Energy consumption is a major issue in dynamically reconfigurable systems because of the high power requirements during repeated configurations. Hardware designs employ low power ...