2943 search results - page 388 / 589 » Software Implementation of Synchronous Programs |
124
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
121
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
109
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
107
Voted
SIGCSE
2004
ACM
15 years 8 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
133
Voted
ASPLOS
1998
ACM
15 years 6 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...