4722 search results - page 368 / 945 » Encoding Program Executions |
176
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
322
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
306
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Most information extraction (IE) approaches have considered only static text corpora, over which we apply IE only once. Many real-world text corpora however are dynamic. They evol...
147
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
193
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...