Within the last year
Within the past 3 years
1 - 10 of 61 articles
The increasing complexity of technical processes asks for large software systems to control them. A large software system can only be developed and managed if there are efficient and reliable tools. This paper gives an introduction to the high level programming language HERAKLIT, which claims to...
A number of concurrent computers have been designed, such as Ametek 1988 and NCUBE 1986. Taking advantage of concurrency on these computers will require new languages, operating systems, and environments to support the programming, monitoring and control of applications. The Rosette project at...
Current distributed object oriented languages and systems hide distribution in general while retaining the ability to control object locations explicitly. These approaches seem adequate but are exclusively focussing on the implementation stage of a distributed application. We present a new...
We examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes with internal concurrency is explored. Module...
Programmers of sequential and parallel computers share the objective of developing fast, reliable programs as efficiently as possible. Already, considerable effort has been made to develop tools and techniques for sequential computers. Several approaches have been devised to meet the parallel...
In the late panel session, Maurice Herlihy questioned whether the Actor model 1 could implement wait-free shared queue. Processes are guaranteed to complete queue operations in a finite amount of steps even if other processes may fail at arbitrary points. Consequently, the queue may not have an...
We propose a metric to evaluate correctness criteria for transactions which measures the number of conflicts between transactions and the amount of concurrency a criterion allows. This metric is then used to evaluate several correctness criteria.
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.