97 search results - page 9 / 20 » Making Nondeterminism Unambiguous |
156
Voted
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
125
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
111
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
125
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
For many performance analysis problems, the ability to reason across traces is invaluable. However, due to non-determinism in the OS and virtual machines, even two identical runs ...
131
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...