2111 search results - page 102 / 423 » How to Program Pervasive Systems |
222
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
89
Voted
INFSOF
1998
15 years 9 days ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
108
click to vote
CSFW
1998
IEEE
15 years 4 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
84
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the task of learning to accurately follow a trajectory in a vehicle such as a car or helicopter. A number of dynamic programming algorithms such as Differential Dynami...
201
click to vote
POPL
2006
ACM
16 years 29 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...