1080 search results - page 72 / 216 » Modeling Constraint Programs with Software Technology Standa... |
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
CONSTRAINTS
2008
13 years 8 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
IPPS
2000
IEEE
14 years 11 days ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
OOPSLA
2001
Springer
14 years 13 days ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
AGP
1999
IEEE
14 years 9 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...