640 search results - page 50 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
134
Voted
EMS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
137
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
159
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
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...
140
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
131
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...