Sciweavers

403 search results - page 61 / 81
» Gradient clock synchronization
Sort
View
152
Voted
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 6 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...
116
Voted
DAC
2009
ACM
16 years 3 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
167
Voted
JSAC
2011
253views more  JSAC 2011»
14 years 9 months ago
Control Channel Establishment in Cognitive Radio Networks using Channel Hopping
Abstract—In decentralized cognitive radio (CR) networks, enabling the radios to establish a control channel (i.e., “rendezvous” to establish a link) is a challenging problem....
Kaigui Bian, Jung Min Park, Ruiliang Chen
139
Voted
ICRA
2008
IEEE
165views Robotics» more  ICRA 2008»
15 years 9 months ago
An almost communication-less approach to task allocation for multiple Unmanned Aerial Vehicles
— In this paper, we present a scalable, decentralized task allocation algorithm for a group of unknown number of Unmanned Aerial Vehicles (UAVs), which are equipped with GPS rece...
Peng Cheng, Vijay Kumar
96
Voted
ASYNC
2007
IEEE
107views Hardware» more  ASYNC 2007»
15 years 9 months ago
On-chip samplers for test and debug of asynchronous circuits
On-chip high-bandwidth sampling circuits supplement traditional test and debug techniques by non-invasively probing analog voltages for off-chip measurement. Existing circuits rel...
Frankie Liu, Ron Ho, Robert J. Drost, Scott Fairba...