Sciweavers

2477 search results - page 241 / 496
» First-Order Interactive Programming
Sort
View
114
Voted
ECLIPSE
2006
ACM
15 years 8 months ago
JASPER: an Eclipse plug-in to facilitate software maintenance tasks
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
Michael J. Coblenz, Andrew Jensen Ko, Brad A. Myer...
104
Voted
LCTRTS
2005
Springer
15 years 7 months ago
Composable code generation for distributed giotto
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
120
Voted
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
15 years 7 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
TGC
2005
Springer
15 years 7 months ago
Concurrency Among Strangers
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
Mark S. Miller, Eric Dean Tribble, Jonathan S. Sha...
119
Voted
EAGC
2004
Springer
15 years 7 months ago
Managing MPI Applications in Grid Environments
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
Elisa Heymann, Miquel A. Senar, Enol Fernán...