1179 search results - page 123 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
123
click to vote
MINENET
2005
ACM
15 years 9 months ago
2005
ACM
Detecting anomalous BGP-route advertisements is crucial for improving the security and robustness of the Internet’s interdomain-routing system. In this paper, we propose an inst...
138
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
118
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we propose a two-step controller design method with control Lyapunov functions (CLFs) for nonlinear systems with convex input constraints. In the first step, we...
121
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—One of the challenges in a military wireless sensor network is the determination of an information collection infrastructure which minimizes battery power consumption. T...
154
click to vote
PDPTA
1996
15 years 5 months ago
1996
The problem of eciently retrieving and ranking documents from a huge collection according to their relevance to a research topic is addressed. A broad class of queries is de ned a...