Search Sciweavers | Sciweavers

880 search results - page 22 / 176

» Semantics-Based Concurrency Control

click to vote

ICALP
2004
Springer

112views Programming Languages» more ICALP 2004»

Syntactic Control of Concurrency

14 years 1 months ago

Download www.cs.bham.ac.uk

Abstract. We consider a ﬁnitary procedural programming language (ﬁnite data-types, no recursion) extended with parallel composition and binary semaphores. Having ﬁrst shown t...

Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong

claim paper

Read More »

click to vote

COORDINATION
2006
Springer

107views Distributed And Parallel Com...» more COORDINATION 2006»

Synthesizing Concurrency Control Components from Process Algebraic Specifications

13 years 11 months ago

Download www.sti.uniurb.it

Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...

Edoardo Bontà, Marco Bernardo, Jeff Magee, ...

claim paper

Read More »

click to vote

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

14 years 2 months ago

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

click to vote

SIGMOD
1999
ACM

107views Database» more SIGMOD 1999»

Efficient Concurrency Control for Broadcast Environments

13 years 12 months ago

Download www.cs.cornell.edu

A crucial consideration in environments where data is broadcast to clients is the low bandwidth available for clients to communicate with servers. Advanced applications in such en...

Jayavel Shanmugasundaram, Arvind Nithrakashyap, Ra...

claim paper

Read More »

click to vote

ADBIS
1999
Springer

151views Database» more ADBIS 1999»

A New Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers