Sciweavers

880 search results - page 39 / 176
» Semantics-Based Concurrency Control
Sort
View
IJCAI
1997
13 years 10 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
SIGCOMM
2012
ACM
11 years 11 months ago
Flashback: decoupled lightweight wireless control
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
Asaf Cidon, Kanthi Nagaraj, Sachin Katti, Pramod V...
JOCN
2011
85views more  JOCN 2011»
12 years 11 months ago
Cardiorespiratory Fitness and the Flexible Modulation of Cognitive Control in Preadolescent Children
■ The influence of cardiorespiratory fitness on the modulation of cognitive control was assessed in preadolescent children separated into higher- and lower-fit groups. Participa...
Matthew B. Pontifex, Lauren B. Raine, Christopher ...
RTCSA
1999
IEEE
14 years 1 months ago
Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
Jan Lindström, Kimmo E. E. Raatikainen
LCPC
2005
Springer
14 years 2 months ago
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
Amir Kamil, Katherine A. Yelick