699 search results - page 19 / 140 » Computation of Interprocedural Control Dependence |
SIGOPS
2011
13 years 2 months ago
2011
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
HPCC
2010
Springer
13 years 8 months ago
2010
Springer
This paper investigates the energy cost of control packets in schedule-based medium access control protocols in wireless sensor networks. Control packets can be useful not only to ...
ECRTS
1999
IEEE
13 years 12 months ago
1999
IEEE
The paper considers the implementation of digital controllers as real-time tasks in priority-preemptive systems. The performance of a digital feedback control system depends criti...
CGO
2003
IEEE
14 years 28 days ago
2003
IEEE
In this paper we present the internal representation and optimizations used by the CASH compiler for improving the memory parallelism of pointer-based programs. CASH uses an SSA-b...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...