332 search results - page 29 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
92
Voted
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
113
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
146
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
117
click to vote
DAC
2009
ACM
16 years 2 months 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...
246
click to vote
GIS
2006
ACM
16 years 2 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...