Sciweavers

7557 search results - page 28 / 1512
» Modeling Timed Concurrent Systems
Sort
View
TPPP
1994
15 years 5 months ago
Time and Information in Sequential and Concurrent Computation
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
Vaughan R. Pratt
RTSS
1994
IEEE
15 years 5 months ago
Timeliness via Speculation for Real-Time Databases
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
Azer Bestavros, Spyridon Braoudakis
DFT
1997
IEEE
93views VLSI» more  DFT 1997»
15 years 5 months ago
An IDDQ Sensor for Concurrent Timing Error Detection
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...
Christopher G. Knight, Adit D. Singh, Victor P. Ne...
ISMAR
2008
IEEE
15 years 7 months ago
OutlinAR: an assisted interactive model building system with reduced computational effort
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
Pished Bunnun, Walterio W. Mayol-Cuevas
ISPE
2003
15 years 2 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci