Sciweavers

1460 search results - page 155 / 292
» Very Lightweight Requirements Modeling
Sort
View
IEEEMSP
2002
IEEE
115views Multimedia» more  IEEEMSP 2002»
14 years 1 months ago
Aerial communications using piano, clarinet, and bells
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
Natacha Domingues, Joáo Lacerda, Pedro M. Q...
ADAEUROPE
2001
Springer
14 years 1 months ago
Building Modern Distributed Systems
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
Laurent Pautet, Thomas Quinot, Samuel Tardieu
CRYPTO
2001
Springer
97views Cryptology» more  CRYPTO 2001»
14 years 1 months ago
Two-Party Generation of DSA Signatures
d Abstract) Philip MacKenzie and Michael K. Reiter Bell Labs, Lucent Technologies, Murray Hill, NJ, USA We describe a means of sharing the DSA signature function, so that two parti...
Philip D. MacKenzie, Michael K. Reiter
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
14 years 1 months ago
Configuration Caching Management Techniques for Reconfigurable Computing
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
Zhiyuan Li, Katherine Compton, Scott Hauck
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
14 years 1 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...