3827 search results - page 524 / 766 » The Epsilon Generation Language |
141
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
104
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
: As part of a larger research on multimedia traffic performance over GPRS, we present a QoS study focusing on one parameter: bandwidth. GPRS is an evolutionary phase and a critica...
176
click to vote
LCPC
2000
Springer
15 years 8 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
159
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
159
Voted
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...