1239 search results - page 217 / 248 » Control Generation for Logic Programs |
150
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes extensions to OpenMP that implement data placement features needed for NUMA architectures. OpenMP is a collection of compiler directives and library routines ...
170
click to vote
CSREAESA
2004
15 years 5 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
156
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
159
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
167
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...