1401 search results - page 121 / 281 » Tool Integration for Reasoned Programming |
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
CASES
2003
ACM
14 years 3 months ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
IUI
2012
ACM
12 years 5 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
RTAS
1995
IEEE
14 years 1 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...