2786 search results - page 408 / 558 » A Practical Technique for Process Abstraction |
152
click to vote
CSUR
2000
15 years 6 months ago
2000
to extract information at a level of abstraction that is useful to investigators interested in analyzing application usage or evaluating usability. This survey examines computer-ai...
188
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to c...
154
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Determinant Quantum Monte Carlo (DQMC) simulation has been widely used to reveal macroscopic properties of strong correlated materials. However, parallelization of the DQ...
219
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
202
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...