3516 search results - page 378 / 704 » Programming Languages: Application and Interpretation |
198
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
263
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
138
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
154
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
181
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...