2943 search results - page 257 / 589 » Software Implementation of Synchronous Programs |
137
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
147
Voted
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
124
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
124
Voted
GLVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
118
Voted
FATES
2006
Springer
15 years 7 months ago
2006
Springer
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...