2632 search results - page 374 / 527 » Alternating Timed Automata |
125
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
112
click to vote
BIBM
2007
IEEE
15 years 8 months ago
2007
IEEE
An important problem in high-throughput protein crystallography is constructing a protein model from an electron-density map. Previous work by some of this paper’s authors [1] d...
121
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
133
Voted
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
107
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...