481 search results - page 29 / 97 » Differential symbolic execution |
177
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
166
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
191
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...
158
click to vote
OTM
2007
Springer
16 years 9 days ago
2007
Springer
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
154
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...