Sciweavers

4763 search results - page 81 / 953
» On the Execution of Deep Models
Sort
View
HPCA
2006
IEEE
16 years 1 days ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
99
Voted
ICS
2009
Tsinghua U.
15 years 6 months ago
High-performance CUDA kernel execution on FPGAs
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
Alexandros Papakonstantinou, Karthik Gururaj, John...
EPEW
2005
Springer
15 years 5 months ago
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
Michael J. Butler, Shamim Ripon
RAS
2008
105views more  RAS 2008»
14 years 11 months ago
Integration of planning and execution in force controlled compliant motion
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
Wim Meeussen, Ernesto Staffetti, Herman Bruyninckx...
69
Voted
ICML
2010
IEEE
15 years 22 days ago
Climbing the Tower of Babel: Unsupervised Multilingual Learning
For centuries, scholars have explored the deep links among human languages. In this paper, we present a class of probabilistic models that use these links as a form of naturally o...
Benjamin Snyder, Regina Barzilay