Sciweavers

2261 search results - page 56 / 453
» Relationships Between Models of Concurrency
Sort
View
ECRTS
2008
IEEE
14 years 2 months ago
Temporal Analysis for Adapting Concurrent Applications to Embedded Systems
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
Sibin Mohan, Johannes Helander
PLDI
2011
ACM
12 years 10 months ago
Isolating and understanding concurrency errors using reconstructed execution fragments
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
Brandon Lucia, Benjamin P. Wood, Luis Ceze
FOSSACS
2006
Springer
13 years 11 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
HAPTICS
2005
IEEE
14 years 1 months ago
Modeling of Human Texture Perception for Tactile Displays and Sensors
It is necessary to ascertain texture perception of humans in developing tactile devices that create or detect lifelike texture. In this paper, the relationship between object surf...
Hirokazu Shirado, Takashi Maeno
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
13 years 8 months ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...