169 search results - page 24 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
STORAGESS
2005
ACM
14 years 4 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
This paper presents an efficient multiplexing and error control system to improve streaming video performance over path aggregates. While providing the application with increased ...
SPE
1998
13 years 10 months ago
1998
This paper describes some basic experiments to see how fast various popular scripting and user-interface languages run on a spectrum of representative tasks. We found enormous var...
EUROSYS
2007
ACM
14 years 2 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
USENIX
2008
14 years 21 days ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...