10848 search results - page 48 / 2170 » Programming in Biomolecular Computation |
220
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
COMPUTER
2004
15 years 1 months ago
2004
COMPUTER
2002
15 years 29 days ago
2002
PERCOM
2008
ACM
16 years 22 days ago
2008
ACM
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...