336 search results - page 20 / 68 » Program Speedups in Theory and Practice |
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
86
Voted
SIGCSE
1999
ACM
15 years 4 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
122
Voted
UTP
2010
14 years 10 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
96
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
77
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...