1321 search results - page 77 / 265 » Logic Simulation Using Networks of State Machines |
117
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
108
Voted
PADS
2004
ACM
15 years 8 months ago
2004
ACM
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
128
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
125
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
124
Voted
VTC
2010
IEEE
15 years 19 days ago
2010
IEEE
The steady-state throughput of general network coding node is investigated, when data is transmitted in packets based on the stopand-wait automatic repeat request (SW-ARQ) error-co...