5634 search results - page 379 / 1127 » About Abstract Classes |
165
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
164
click to vote
ISCAS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— This paper quantifies the impact of threshold voltage variation on aging-related hard failure rates in a highperformance 65nm processor. Simulations show that threshol...
165
click to vote
AIME
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
144
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
177
click to vote
CEEMAS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...