1859 search results - page 161 / 372 » Sketch-based path design |
140
Voted
MIDDLEWARE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
124
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
While performance specifications are verified before sign-off for a modern nanometer scale design, extensive application of optical proximity correction substantially alters the l...
120
Voted
DAC
2006
ACM
15 years 9 months ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
146
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
133
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...