Sciweavers

477 search results - page 59 / 96
» Concurrent Pattern Calculus
Sort
View
COORDINATION
2009
Springer
14 years 8 months ago
Multicore Scheduling for Lightweight Communicating Processes
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
PPOPP
2005
ACM
14 years 1 months ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
ICCSA
2003
Springer
14 years 28 days ago
Digital Styling for Designers: Sketch Emulation in Computer Environment
Abstract. The digitalization of product-styling tools for the early designdevelopment stage has focused on using raster-type graphics S/Ws. These kinds of S/Ws enable designers fre...
Seok-Hyung Bae, Won-Sup Kim, Eun-Sook Kwon
FROCOS
2000
Springer
13 years 11 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
CONCURRENCY
2008
102views more  CONCURRENCY 2008»
13 years 7 months ago
Dynamic data replication in LCG 2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
Caitriana Nicholson, David G. Cameron, A. T. Doyle...