1638 search results - page 269 / 328 » A General Semantics for Evaluation Logic |
157
click to vote
GIS
2006
ACM
16 years 17 days ago
2006
ACM
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
DAC
2009
ACM
16 years 16 days ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
DAC
2003
ACM
16 years 15 days ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
DAC
2005
ACM
16 years 15 days ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
110
click to vote
SIGSOFT
2007
ACM
16 years 8 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...