Sciweavers

898 search results - page 124 / 180
» The Certification of Software Tools with respect to Software...
Sort
View
BMCBI
2010
82views more  BMCBI 2010»
13 years 8 months ago
SolexaQA: At-a-glance quality assessment of Illumina second-generation sequencing data
Background: Illumina's second-generation sequencing platform is playing an increasingly prominent role in modern DNA and RNA sequencing efforts. However, rapid, simple, stand...
Murray P. Cox, Daniel A. Peterson, Patrick J. Bigg...
FOSSACS
2004
Springer
14 years 1 months ago
Bisimulation on Speed: Lower Time Bounds
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
Gerald Lüttgen, Walter Vogler
HPCN
1995
Springer
14 years 1 days ago
Discrete optimisation and real-world problems
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
Josef Kallrath, Anna Schreieck
DAC
2004
ACM
14 years 9 months ago
Design automation for mask programmable fabrics
Programmable circuit design has played an important role in improving design productivity over the last few decades. By imposing structure on the design, efficient automation of s...
Narendra V. Shenoy, Jamil Kawa, Raul Camposano
IV
2005
IEEE
134views Visualization» more  IV 2005»
14 years 2 months ago
Automatic Layout of Project Plans Using a Metro Map Metaphor
In this paper we describe a tool to improve interfunctional communication of project plans by displaying them as a metro map. Our tool automatically lays out plans using a multicr...
Jonathan M. Stott, Peter Rodgers, Remo Aslak Burkh...