Sciweavers

68 search results - page 7 / 14
» tap 2008
Sort
View
SIGOPS
2010
83views more  SIGOPS 2010»
13 years 5 months ago
Cloudifying source code repositories: how much does it cost?
—Cloud computing provides us with general purpose storage and server hosting platforms at a reasonable price. We explore the possibility of tapping these resources for the purpos...
Michael Siegenthaler, Hakim Weatherspoon
TAP
2008
Springer
94views Hardware» more  TAP 2008»
13 years 6 months ago
Vacuity in Testing
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
Thomas Ball, Orna Kupferman
TAP
2008
Springer
102views Hardware» more  TAP 2008»
13 years 6 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
ISIP
2008
IEEE
14 years 1 months ago
FPGA Implementation of an Adaptive Noise Canceller
This paper proposes an FPGA implementation of an Adaptive Noise Canceller using the Least Mean Square (LMS) algorithm. The hardware architecture is synthesized using the Xilinx Sp...
Tian Lan, Jinlin Zhang
JSAC
2008
115views more  JSAC 2008»
13 years 6 months ago
A Discrete-Time Channel Simulator Driven by Measured Scattering Functions
In-situ measurements of the scattering function are used to drive a channel simulator developed in the context of underwater acoustic telemetry. Two operation modes of the simulato...
Paul A. van Walree, Trond Jenserud, Morten Smedsru...