7124 search results - page 1193 / 1425 » Programming Languages and Operating Systems |
128
click to vote
SPAA
2010
ACM
15 years 8 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...
122
Voted
LICS
2000
IEEE
15 years 8 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...
151
Voted
BIRTHDAY
1999
Springer
15 years 8 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...
120
click to vote
WCRE
1997
IEEE
15 years 7 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...
103
Voted
ICCAD
1996
IEEE
15 years 7 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...