15253 search results - page 2701 / 3051 » Integer-Programming Software Systems |
150
click to vote
MICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
Compiler optimizations are often driven by specific assumptions about the underlying architecture and implementation of the target machine. For example, when targeting shared-mem...
153
click to vote
ITICSE
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
120
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
Electronic Data Interchange (EDI), an example of an Inter-Organisational System (IOS), has the potential to provide companies with tangible benefits, such as improvements to overa...
136
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
111
click to vote
FSTTCS
1993
Springer
15 years 8 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...