4722 search results - page 683 / 945 » Encoding Program Executions |
156
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
172
click to vote
SSS
2007
Springer
16 years 20 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
186
click to vote
COMSWARE
2006
IEEE
16 years 19 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
189
click to vote
ECBS
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
201
click to vote
ECRTS
2006
IEEE
16 years 19 days ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...