692 search results - page 94 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
103
click to vote
NSDI
2004
15 years 1 months ago
2004
We present a new approach to managing failures and evolution in large, complex distributed systems using runtime paths. We use the paths that requests follow as e through the syst...
119
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
IJSI
2008
14 years 12 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
TNN
1998
14 years 11 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
JLP
2008
14 years 11 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...