8928 search results - page 310 / 1786 » Modeling Current Events |
269
click to vote
VLSI
2012
Springer
13 years 12 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
116
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
As the VLSI technology marches beyond 65 and 45nm process technologies, variation in gate length has a direct impact on leakage and performance of CMOS transistors. Due to sub-wav...
135
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
141
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
101
click to vote
EVOTING
2004
15 years 5 months ago
2004
This paper, useful to anyone who has to address the public and representatives of the world of politics, focuses on the specific topic of resistance to vote-coercion. By using a mo...