2625 search results - page 200 / 525 » The development of the Emerald programming language |
145
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
128
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
132
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
127
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
163
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...