Sciweavers

245 search results - page 16 / 49
» The Use of Multithreading for Exception Handling
Sort
View
ISCA
2012
IEEE
243views Hardware» more  ISCA 2012»
13 years 1 days ago
BlockChop: Dynamic squash elimination for hybrid processor architecture
Hybrid processors are HW/SW co-designed processors that leverage blocked-execution, the execution of regions of instructions as atomic blocks, to facilitate aggressive speculative...
Jason Mars, Naveen Kumar
SPIN
2000
Springer
15 years 1 months ago
Model-Checking Multi-threaded Distributed Java Programs
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
Scott D. Stoller
ESAW
2008
Springer
14 years 11 months ago
Coping with Exceptions in Agent-Based Workflow Enactments
A workflow involves the coordinated execution of multiple operations and can be used to capture business processes. Typical workflow management systems are centralised and rigid; t...
Joey Sik Chun Lam, Frank Guerin, Wamberto Weber Va...
ICRA
2007
IEEE
131views Robotics» more  ICRA 2007»
15 years 3 months ago
Design of an Automated Handling System for Limp, Flexible Sheet Lasagna Pasta
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
René J. Moreno Masey, Darwin G. Caldwell
63
Voted
IJCAI
1989
14 years 10 months ago
A Correct Non-Monotonic ATMS
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...
Ulrich Junker