1892 search results - page 240 / 379 » Warren's Abstract Machine |
117
click to vote
FINTAL
2006
15 years 7 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...
136
Voted
APLAS
2003
ACM
15 years 7 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...
116
click to vote
FPL
2000
Springer
15 years 7 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...
172
click to vote
HYBRID
2000
Springer
15 years 7 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...
140
click to vote
JSSPP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...