1401 search results - page 206 / 281 » Tool Integration for Reasoned Programming |
136
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...
138
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
138
click to vote
PROFES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
105
click to vote
BIOCOMP
2006
15 years 2 months ago
2006
Currently, the genome sequencing community is producing shotgun sequence data at a very high rate, but genome finishing is not keeping pace, even with the help from several automa...
112
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...