Sciweavers

4192 search results - page 673 / 839
» Efficient testing of groups
Sort
View
ICNC
2005
Springer
14 years 4 months ago
On Designing DNA Databases for the Storage and Retrieval of Digital Signals
Abstract. In this paper we propose a procedure for the storage and retrieval of digital signals utilizing DNA. Digital signals are encoded in DNA sequences that satisfy among other...
Sotirios A. Tsaftaris, Aggelos K. Katsaggelos
UML
2005
Springer
14 years 4 months ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
ASSETS
2004
ACM
14 years 4 months ago
Nonvisual tool for navigating hierarchical structures
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
Ann C. Smith, Justin S. Cook, Joan M. Francioni, A...
SLIP
2004
ACM
14 years 4 months ago
Interconnect-power dissipation in a microprocessor
Interconnect power is dynamic power dissipation due to switching of interconnection capacitances. This paper describes the characterization of interconnect power in a state-of-the...
Nir Magen, Avinoam Kolodny, Uri C. Weiser, Nachum ...
EUSAI
2004
Springer
14 years 4 months ago
Towards a Playful User Interface for Home Entertainment Systems
Abstract. In this paper we propose a tangible cube as an input device for playfully changing between different TV-channels. First we consider several design approaches and compare ...
Florian Block, Albrecht Schmidt, Nicolas Villar, H...