17298 search results - page 3014 / 3460 » Abstract computing machines |
156
click to vote
ISESE
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
182
click to vote
LCN
2006
IEEE
16 years 27 days ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
208
click to vote
QEST
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
194
click to vote
QEST
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
184
click to vote
RTSS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...