4438 search results - page 106 / 888 » The Case for Collaborative Programming |
151
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
232
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
167
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
211
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
193
click to vote
FTCS
1998
15 years 7 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...