1411 search results - page 168 / 283 » A Value Analysis for C Programs |
140
click to vote
MINENET
2006
ACM
15 years 11 months ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
140
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: To understand an RNA sequence's mechanism of action, the structure must be known. Furthermore, target RNA structure is an important consideration in the design of...
162
click to vote
IMC
2006
ACM
15 years 11 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
152
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
152
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...