2432 search results - page 243 / 487 » Using simple abstraction to reinvent computing for paralleli... |
195
click to vote
EUROPAR
1997
Springer
15 years 10 months ago
1997
Springer
Instruction scheduling in general, and software pipelining in particular face the di cult task of scheduling operations in the presence of uncertain latencies. The largest contrib...
273
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
149
click to vote
GMP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...
167
click to vote
BIBE
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
181
click to vote
ICSOC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...