768 search results - page 73 / 154 » Symbolic and Abstract Interpretation for C C Programs |
166
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
190
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: It is difficult to accurately interpret chromosomal correspondences such as true orthology and paralogy due to significant divergence of genomes from a common ancestor...
143
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
123
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
140
click to vote
USENIX
2000
15 years 5 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...