Sciweavers

840 search results - page 49 / 168
» Programming the future
Sort
View
WSC
2004
13 years 10 months ago
Enhancing Simulation Education with a Virtual Presentation Tool
This paper describes a research plan to address the undergraduate learning challenges encountered when teaching an introductory simulation course in Industrial Engineering program...
David He, Pat Banerjee
LCTRTS
2001
Springer
14 years 1 months ago
A Dynamic Programming Approach to Optimal Integrated Code Generation
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
Christoph W. Keßler, Andrzej Bednarski
SIGSOFT
2007
ACM
14 years 9 months ago
Program comprehension as fact finding
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
Thomas D. LaToza, David Garlan, James D. Herbsleb,...
POPL
2009
ACM
14 years 9 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
ECAI
2004
Springer
14 years 2 months ago
A System for Pacemaker Treatment Advice
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
Peter J. F. Lucas, Ruud Kuipers, Frederick Feith