990 search results - page 28 / 198 » A Static Analysis Technique for Graph Transformation Systems |
HVC
2005
Springer
14 years 1 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
IPPS
1996
IEEE
13 years 12 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...