7124 search results - page 1193 / 1425 » Programming Languages and Operating Systems |
175
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
Load balancing is an important consideration when running data-parallel programs. While traditional techniques trade off the cost of load imbalance with the overhead of mitigating...
156
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
193
click to vote
BIRTHDAY
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
161
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
136
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...