3302 search results - page 179 / 661 » Software Is More Than Code |
141
Voted
APN
2006
Springer
15 years 5 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
144
Voted
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
132
click to vote
ICCAD
2008
IEEE
16 years 22 days ago
2008
IEEE
— VLIW processors provide higher performance and better efficiency etc. than RISC processors in specific domains like multimedia applications etc. A disadvantage is the bloated...
145
click to vote
MICRO
1991
IEEE
15 years 7 months ago
1991
IEEE
This paper examines two alternative approaches to supporting code scheduling for multiple-instruction-issue processors. One is to provide a set of non-trapping instructions so tha...
148
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...