11484 search results - page 391 / 2297 » Modeling in the Large and Modeling in the Small |
189
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
182
click to vote
DL
2000
Springer
15 years 11 months ago
2000
Springer
A preliminary study was conducted to help understand the purpose of digital libraries (DLs) and to investigate whether meaningful results could be obtained from small user studies...
149
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
161
click to vote
MSWIM
2005
ACM
16 years 12 days ago
2005
ACM
We show that randomized beamforming is a simple yet efficient communication strategy in wireless multihop networks if no neighbor location information is at hand. Already small an...
152
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a model-based height controller for a hopping robot with a pneumatically powered leg. The controller explicitly models variation in the leg angle and height. Using an ...