533 search results - page 43 / 107 » Protocol synthesis from timed and structured specifications |
104
click to vote
ADHOC
2005
15 years 1 months ago
2005
Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...
140
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
119
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
128
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Previous efforts on event detection from the web have focused primarily on web content and structure data ignoring the rich collection of web log data. In this paper, we propose t...
110
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...