Sciweavers

631 search results - page 43 / 127
» Producing reliable software: an experiment
Sort
View
DNA
2007
Springer
106views Bioinformatics» more  DNA 2007»
13 years 11 months ago
Hardware Acceleration for Thermodynamic Constrained DNA Code Generation
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
Qinru Qiu, Prakash Mukre, Morgan Bishop, Daniel J....
WOWMOM
2006
ACM
128views Multimedia» more  WOWMOM 2006»
14 years 1 months ago
Enabling Engineering Document in Mobile Computing Environment
A multi-level hierarchical content organization and on-demand delivery framework is presented in this paper. This framework enables engineering content representation and exchange...
Xiaoyong Su, Chi-Cheng Peter Chu, B. S. Prabhu, Ra...
EUROSYS
2007
ACM
13 years 11 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune
OOPSLA
2010
Springer
13 years 6 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
ICIP
2007
IEEE
14 years 1 months ago
Using Dempster-Shafer Theory to Fuse Multiple Information Sources in Region-Based Segmentation
This paper presents a new method for segmentation of images into large regions that reflect the real world objects present in a scene. It explores the feasibility of utilizing sp...
Tomasz Adamek, Noel E. O'Connor