3856 search results - page 135 / 772 » Models for Automated Earthmoving |
153
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
156
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
121
click to vote
HIPEAC
2010
Springer
15 years 7 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
119
click to vote
IJCAI
2007
15 years 6 months ago
2007
Mechanism design is the study of preference aggregation protocols that work well in the face of self-interested agents. We present the first general-purpose techniques for automa...
181
click to vote
ASE
2006
15 years 5 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...