7167 search results - page 313 / 1434 » A Technique for Invariant Generation |
212
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
Pass Transistor Logic has attracted more and more interest during last years, since it has proved to be an attractive alternative to static CMOS designs with respect to area, perf...
182
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
201
click to vote
INFOCOM
1995
IEEE
15 years 11 months ago
1995
IEEE
Usage-based pricing of offered traffic to a data network can be an effective technique for congestion control. To gain insight into the benejits usage-based pricing offers, we pro...
178
click to vote
AAAI
2007
15 years 9 months ago
2007
In normal scenarios, computer scientists often consider the number of states in a game to capture the difficulty of learning an equilibrium. However, players do not see games in ...
193
click to vote
CF
2005
ACM
15 years 9 months ago
2005
ACM
As microarchitectural and system complexity grows, comprehending system behavior becomes increasingly difficult, and often requires obtaining and sifting through voluminous event ...