2487 search results - page 176 / 498 » cases 2009 |
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
92
Voted
P2P
2009
IEEE
15 years 7 months ago
2009
IEEE
The peer-to-peer paradigm shows the potential to provide the same functionality and quality like client/server based systems, but with much lower costs. In order to control the qu...
100
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
102
Voted
QSHINE
2009
IEEE
15 years 7 months ago
2009
IEEE
The deployment of sensor networks is both widespread and varied with more niche applications based on these networks. In the case study provided in this work, the network is provid...
111
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...