Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
49
Pessimistic software lock-elision
- In Proceedings of the 26th International Conference on Distributed Computing, DISC’12
, 2012
"... Abstract. Read-write locks are one of the most prevalent lock forms in concur-rent applications because they allow read accesses to locked code to proceed in parallel. However, they do not offer any parallelism between reads and writes. This paper introduces pessimistic lock-elision (PLE), a new app ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
Abstract. Read-write locks are one of the most prevalent lock forms in concur-rent applications because they allow read accesses to locked code to proceed in parallel. However, they do not offer any parallelism between reads and writes. This paper introduces pessimistic lock-elision (PLE), a new
Towards Distributed Process Networks
, 2002
"... Abstract Process networks is a widely used model to describe highly concur-rent applications. We present here a distributed implementation of a slightly restricted process network model realized using the CORBAmiddleware. This implementation allows the non computer science specialist to easily progr ..."
Abstract
- Add to MetaCart
Abstract Process networks is a widely used model to describe highly concur-rent applications. We present here a distributed implementation of a slightly restricted process network model realized using the CORBAmiddleware. This implementation allows the non computer science specialist to easily
9 High-Level Petri Nets—Extensions, Analysis, and Applications
"... Petri nets are an excellent formal model for studying concur-rent and distributed systems and have been widely applied in many different areas of computer science and other disciplines ..."
Abstract
- Add to MetaCart
Petri nets are an excellent formal model for studying concur-rent and distributed systems and have been widely applied in many different areas of computer science and other disciplines
Simple Concurrency for Robotics with the Roboscoop Framework
"... Abstract—Concurrency is inherent to robots, and using concurrency in robotics can greatly enhance performance of the robotics applications. So far, however, the use of concurrency in robotics has been limited and cumbersome. This paper presents Roboscoop, a new robotics framework based on Simple Con ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Concur-rent Object Oriented Programming (SCOOP). SCOOP excludes data races by construction, thereby eliminating a major class of concurrent programming errors. Roboscoop utilizes SCOOP’s concurrency and synchronization mechanisms for coordination in robotics applications. We demonstrate Roboscoop’s
A DEVS-based Concurrent and Comparative Fault Simulation Algorithm
"... Concurrent and Comparative Simulation (CCS) with Multi-List Propagation (MLP) provides a way to per-form several simulations in a single execution run and Concurrent Fault Simulation (CFS) has been one of its first applications. The main obstacles to a wide use of this technique are the high complex ..."
Abstract
- Add to MetaCart
complexity of the concur-rent simulation algorithms, along with the difficulty to integrate them in a simulation kernel. We focus in this paper on the CFS with MLP of systems described in the BFS-DEVS formalism, an extension of the origi-nal DEVS simulator that integrates the CCS algorithm. Application
Binary Multirelations
, 2015
"... Binary multirelations associate elements of a set with its subsets; hence they are binary relations of type A × 2A. Applications include alternating automata, models and logics for games, program semantics with dual demonic and angelic nondeterministic choices and concur-rent dynamic logics. This pr ..."
Abstract
- Add to MetaCart
Binary multirelations associate elements of a set with its subsets; hence they are binary relations of type A × 2A. Applications include alternating automata, models and logics for games, program semantics with dual demonic and angelic nondeterministic choices and concur-rent dynamic logics
Concurrent Scheduling of Event-B Models ∗
"... Event-B is a refinement-based formal method that has been shown to be useful in developing concur-rent and distributed programs. Large models can be decomposed into sub-models that can be refined semi-independently and executed in parallel. In this paper, we show how to introduce explicit control fl ..."
Abstract
- Add to MetaCart
Event-B is a refinement-based formal method that has been shown to be useful in developing concur-rent and distributed programs. Large models can be decomposed into sub-models that can be refined semi-independently and executed in parallel. In this paper, we show how to introduce explicit control
Spontaneous analogising in engineering design: A comparative analysis of experts and novices
- Design Studies
, 2004
"... Analogical reasoning is claimed to play a central role in creative cognition and the development of expertise. To date, however, few studies have explored the nature and prevalence of spontaneous analogising in design contexts. In the present paper we report an experimental comparison of analogy use ..."
Abstract
-
Cited by 41 (2 self)
- Add to MetaCart
use by expert and novice engineering designers who were presented with a brief to design a conceptual solution for an automated rent-a-car facility. Concurrent think-aloud protocols were elicited and analysed to derive measures of the rate of participants ’ schema-driven analogising (defined
PET Monitoring of Therapy Response in Head and Neck Squamous Cell Carcinoma
"... In the Western world, more than 90 % of head and neck cancers are head and neck squamous cell carcinomas (HNSCCs). The most appropriate treatment approach for HNSCC varies with the disease stage and disease site in the head and neck. Concur-rent chemoradiotherapy hasbecomeawidely usedmeans for the d ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
In the Western world, more than 90 % of head and neck cancers are head and neck squamous cell carcinomas (HNSCCs). The most appropriate treatment approach for HNSCC varies with the disease stage and disease site in the head and neck. Concur-rent chemoradiotherapy hasbecomeawidely usedmeans
A Smooth Concurrency Revolution with Free Objects
"... C hip manufacturers are currently talkingabout potentially doubling efficiency on a2x core, quadrupling on a 4x core, and so forth. Some programs even run 18 times faster on a 32-core machine. In the past, it was typical to talk about improvements of 5 to 10 percent — rather than 400 to 1,800 percen ..."
Abstract
- Add to MetaCart
,800 percent — by paralleliz-ing parts of an application. For a change, this is a change. Yet, multicore is useless without concur-rent programming. A single-threaded application can exploit at most 1 percent of the potential throughput of a 100-core chip, so the reigning software development advice
Results 1 - 10
of
49
