157 search results - page 24 / 32 » Critical national infrastructure reliability modeling and an... |
114
click to vote
WORDS
2005
IEEE
15 years 4 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
171
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
MMAS
2004
Springer
15 years 4 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
DAC
2003
ACM
15 years 4 months ago
2003
ACM
Reduction of an extracted netlist is an important pre-processing step for techniques such as model order reduction in the design and analysis of VLSI circuits. This paper describe...