Sciweavers

850 search results - page 25 / 170
» Simultaneous Communication of Data and State
Sort
View
FASE
2008
Springer
14 years 21 days ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
IRREGULAR
1997
Springer
14 years 3 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton
SBACPAD
2005
IEEE
110views Hardware» more  SBACPAD 2005»
14 years 4 months ago
Portable checkpointing and communication for BSP applications on dynamic heterogeneous Grid environments
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
Raphael Y. de Camargo, Fabio Kon, Alfredo Goldman
MDM
2007
Springer
14 years 5 months ago
State-Filters for Enhanced Filtering in Sensor-Based Publish/Subscribe Systems
—Publish/Subscribe systems have been extensively studied in the context of distributed information-based systems, and have proven scalable in information-dissemination for many d...
Salman Taherian, Jean Bacon
ICRA
2002
IEEE
166views Robotics» more  ICRA 2002»
14 years 3 months ago
Real Time Visualization of Robot State with Mobile Virtual Reality
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
Peter Amstutz, Andrew H. Fagg