535 search results - page 12 / 107 » Concurrency Control: Methods, Performance, and Analysis |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
COMPUTE
2010
ACM
14 years 6 days ago
2010
ACM
In the literature, speculation-based protocols have been proposed to improve the performance of read-only transactions (ROTs) over the existing two-phase locking (2PL) and snapsho...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a novel adaptive algorithm based on a new soft-regulator (σ, ρ, λ) for concurrent multimedia flows at end hosts. Our algorithm has the following features: ...
CN
2007
13 years 7 months ago
2007
In this paper we provide a method to analytically compute the energy saving provided by the use of transmission power control (TPC) at the MAC layer in wireless sensor networks (W...