647 search results - page 108 / 130 » Generic Trace Logics |
BMCBI
2006
14 years 9 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
104
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
MIDDLEWARE
2007
Springer
2007
Springer
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems
15 years 3 months ago
Monitoring and management operations that query nodes based on their availability can be extremely useful in a variety of largescale distributed systems containing hundreds to thou...
CONEXT
2009
ACM
14 years 10 months ago
2009
ACM
: We study mobile P2P content dissemination schemes which leverage the local dedicated caches provided by hand-held devices (e.g., smart-phones, PDAs) and opportunistic contacts be...