15644 search results - page 385 / 3129 » Brittle System Analysis |
245
click to vote
DANCE
2002
IEEE
15 years 12 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
190
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
Understanding the performance behaviour of Java Virtual Machines is important to Java systems developers and to applications developers. We review a range of Java benchmark progra...
171
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
171
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...