1901 search results - page 268 / 381 » Predicting Program Properties from |
146
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
120
click to vote
CACM
2010
15 years 3 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
96
Voted
BC
2006
15 years 2 months ago
2006
In a typical visual scene, one or more objects move relative to a larger background, which can itself be in motion as a result of the observer's eyes moving with respect to th...
125
click to vote
FUIN
2006
15 years 2 months ago
2006
Sunspots are the subject of interest to many astronomers and solar physicists. Sunspot observation, analysis and classification form an important part of furthering the knowledge a...
136
click to vote
JSAC
2006
15 years 2 months ago
2006
The frequent and large-scale network attacks have led to an increased need for developing techniques for analyzing network traffic. This paper presents NetViewer, a network measure...