1179 search results - page 89 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
125
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we present a new hypergraph partitioning algorithm that is based on the multilevel paradigm. In the multilevel paradigm, a sequence of successively coarser hypergra...
162
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...
167
Voted
MUE
2009
IEEE
15 years 10 months ago
2009
IEEE
As modern life becomes increasingly closely bound to the Internet, network security becomes increasingly important. Like it or not, we all live under the shadow of network threats...
154
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
136
click to vote
EJASP
2010
14 years 10 months ago
2010
Packetized data transmission is commonly used in wireless communication systems. Each packet starts with a preamble which is used to synchronize the receiver with carrier frequenc...