614 search results - page 37 / 123 » A Variable Rate Execution Model |
ACRI
2006
Springer
15 years 3 months ago
2006
Springer
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
100
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
JCNS
2010
14 years 8 months ago
2010
Binocular rivalry occurs when two very different images are presented to the two eyes, but a subject perceives only one image at a given time. A number of computational models for...
102
click to vote
COMPSAC
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
PADS
2004
ACM
15 years 3 months ago
2004
ACM
In mobile ad hoc network (MANET) studies, it is imperative to use highly detailed device models as they provide high layer protocols with good prediction of underlying wireless co...