575 search results - page 72 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
215
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
127
click to vote
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
107
click to vote
KI
2002
Springer
15 years 1 months ago
2002
Springer
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
130
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
120
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...