Sciweavers

880 search results - page 83 / 176
» Semantics-Based Concurrency Control
Sort
View
POPL
2000
ACM
15 years 6 months ago
Verifying Secrets and Relative Secrecy
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
Dennis M. Volpano, Geoffrey Smith
PPDP
2000
Springer
15 years 6 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....
VC
2010
115views more  VC 2010»
15 years 22 days ago
Multi-rate coupling of physical simulations for haptic interaction with deformable objects
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
Guido Böttcher, Dennis Allerkamp, Franz-Erich...
117
Voted
INFOCOM
1998
IEEE
15 years 6 months ago
TCP Behavior of a Busy Internet Server: Analysis and Improvements
The rapid growth of the World Wide Web in recent years has caused a significant shift in the composition of Internet traffic. Although past work has studied the behavior of TCP dy...
Hari Balakrishnan, Venkata N. Padmanabhan, Sriniva...
108
Voted
RTSS
2005
IEEE
15 years 8 months ago
Preemptible Atomic Regions for Real-Time Java
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
Jeremy Manson, Jason Baker, Antonio Cunei, Suresh ...