12981 search results - page 2396 / 2597 » Model Checking (Abstract) |
129
click to vote
LISP
2006
15 years 3 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
128
click to vote
MAM
2006
15 years 3 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
156
Voted
EWC
2007
15 years 3 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...
130
click to vote
MP
2006
15 years 3 months ago
2006
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...
149
click to vote
PERVASIVE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Location-aware services can benefit from accurate and reliable indoor location tracking. The widespread adoption of 802.11x wireless LAN as the network infrastructure cre...