4722 search results - page 622 / 945 » Encoding Program Executions |
136
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
145
click to vote
TOMS
1998
15 years 3 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
142
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
146
click to vote
PROMISE
2010
14 years 10 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
139
Voted
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Modern enterprise data warehouses have complex workloads that are notoriously difficult to manage. An important problem in workload management is to run these complex workloads `o...