2713 search results - page 78 / 543 » Parameterized Tree Systems |
113
Voted
FMSD
2000
15 years 18 days ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
SAS
2009
Springer
16 years 1 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
96
Voted
VL
1993
IEEE
15 years 4 months ago
1993
IEEE
This paper describes fractal approaches to the problems which associate with visualizing huge hierarchies. The geometrical characteristic of a fractal, selfsimilarity, allows user...
103
Voted
COMCOM
2006
15 years 25 days ago
2006
Application Level Multicast is a promising approach to overcome the deployment problems of IP level multicast by establishing delivery trees using overlay links among end systems....
88
Voted
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...