10848 search results - page 196 / 2170 » Programming in Biomolecular Computation |
135
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
118
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
136
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
148
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
113
click to vote
AUIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...