1710 search results - page 23 / 342 » High-Level Programs and Program Conditions |
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
BMCBI
2006
13 years 8 months ago
2006
Background: Restriction enzymes are one of the everyday tools used in molecular biology. The continuously expanding panel of known restriction enzymes (several thousands) renders ...
SAS
2001
Springer
14 years 10 days ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
SIAMJO
2008
13 years 7 months ago
2008
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE