Sciweavers

1244 search results - page 138 / 249
» Software Quality and Productivity Improvement
Sort
View
DIS
2001
Springer
15 years 11 months ago
Theory Revision in Equation Discovery
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
Ljupco Todorovski, Saso Dzeroski
MICRO
2010
IEEE
170views Hardware» more  MICRO 2010»
15 years 4 months ago
Tolerating Concurrency Bugs Using Transactions as Lifeguards
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
Jie Yu, Satish Narayanasamy
ESEC
1997
Springer
15 years 10 months ago
Cryptographic Verification of Test Coverage Claims
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
Premkumar T. Devanbu, Stuart G. Stubblebine
SEW
2006
IEEE
16 years 12 days ago
Goal-Driven Software Development
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Ingo Schnabel, Markus Pizka
CC
2002
Springer
103views System Software» more  CC 2002»
15 years 6 months ago
StreamIt: A Language for Streaming Applications
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
William Thies, Michal Karczmarek, Saman P. Amarasi...