4469 search results - page 423 / 894 » Dynamic Program Slicing |
173
click to vote
CLUSTER
2002
IEEE
15 years 6 months ago
2002
IEEE
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
199
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
203
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
186
click to vote
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
180
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...