2881 search results - page 519 / 577 » Model Checking for Programming Languages using Verisoft |
102
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
121
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
114
click to vote
WSC
2008
15 years 4 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
112
click to vote
ESA
1998
Springer
15 years 6 months ago
1998
Springer
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression al...