Sciweavers

535 search results - page 33 / 107
» Concurrency Control: Methods, Performance, and Analysis
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
13 years 11 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
FORTE
1994
13 years 9 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
PVLDB
2008
105views more  PVLDB 2008»
13 years 7 months ago
Transaction time indexing with version compression
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
David B. Lomet, Mingsheng Hong, Rimma V. Nehme, Ru...
PR
2002
104views more  PR 2002»
13 years 7 months ago
A geometric approach for the analysis and computation of the intrinsic camera parameters
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
Eduardo Bayro-Corrochano, Bodo Rosenhahn
ECIS
2004
13 years 9 months ago
Business alignment in the CRM domain: predicting CRM performance
In this paper we present a framework that aims to answer the central question why some organizations are successful in the CRM domain, while others are not. The framework is built...
Ronald Batenburg, Johan Versendaal