4520 search results - page 269 / 904 » Algebraic Techniques for Timed Systems |
186
click to vote
ASAP
2006
IEEE
15 years 11 months ago
2006
IEEE
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
200
click to vote
SCAM
2003
IEEE
16 years 16 days ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
207
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— The aggregate power consumption of the Internet is increasing at an alarming rate, due in part to the rapid increase in the number of connected edge devices such as desktop PCs...
197
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Intelligent Route Control (IRC) systems are increasingly deployed in multihomed networks. IRC systems aim to optimize the cost and performance of outgoing traffic, bas...
212
click to vote
FCCM
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a hardware-optimized variant of the well-known Gaussian elimination over GF(2) and its highly efficient implementation. The proposed hardware architecture, we...