1995 search results - page 261 / 399 » The Chemical Abstract Machine |
119
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We consider parallel prefix computation on processors of different and possibly changing speeds. Extending previous works on identical processors, we provide a lower boun...
134
Voted
FINTAL
2006
15 years 8 months ago
2006
Abstract. This paper presents a wide range of statistical word alignment experiments incorporating morphosyntactic information. By means of parallel corpus transformations accordin...
150
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
127
click to vote
FPL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we outline a procedure to determine appropriate partitioning of programmable logic and interconnect area to minimize overall device area across a broad rang...
186
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...