Sciweavers

7103 search results - page 625 / 1421
» Program Generation and Components
Sort
View
PPPJ
2006
ACM
16 years 19 days ago
The Project Maxwell assembler system
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
Bernd Mathiske, Douglas N. Simon, Dave Ungar
FATES
2003
Springer
15 years 12 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 10 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner

Book
353views
17 years 4 months ago
The MPEG-4 Structured Audio Book
"MPEG-4 Structured Audio (MP4-SA) is an ISO/IEC standard (edited by Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when ...
John Lazzaro, John Wawrzynek, CS Division, UC Berk...
ICDE
1997
IEEE
77views Database» more  ICDE 1997»
16 years 8 months ago
Pinwheel Scheduling for Fault-Tolerant Broadcast Disks in Real-time Database Systems
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
Sanjoy K. Baruah, Azer Bestavros