Sciweavers

1204 search results - page 51 / 241
» Parallel concurrent ML
Sort
View
KBSE
2009
IEEE
15 years 11 months ago
Design Rule Hierarchies and Parallelism in Software Development Tasks
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi...
116
Voted
PLDI
2012
ACM
13 years 7 months ago
JANUS: exploiting parallelism via hindsight
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
Omer Tripp, Roman Manevich, John Field, Mooly Sagi...
FUIN
2008
93views more  FUIN 2008»
15 years 4 months ago
An Algebraic Framework for Defining Random Concurrent Behaviours
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
Józef Winkowski
CONCURRENCY
2007
75views more  CONCURRENCY 2007»
15 years 4 months ago
A distributed packed storage for large dense parallel in-core calculations
We propose in this paper a distributed packed storage format that exploits the symmetry or the triangular structure of a dense matrix. This format stores only half of the matrix w...
Marc Baboulin, Luc Giraud, Serge Gratton, Julien L...
EDOC
2007
IEEE
15 years 11 months ago
Business Process Integration by Using General Rule Markup Language
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
Milan Milanovic, Nima Kaviani, Dragan Gasevic, Adr...