Sciweavers

5180 search results - page 219 / 1036
» Concurrency, Time, and Constraints
Sort
View
AUTONOMICS
2008
ACM
15 years 8 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
FLAIRS
2006
15 years 8 months ago
Adaptive, Confidence-Based Strategic Negotiations in Complex Multiagent Environments
We have designed and implemented an adaptive, confidence-based negotiation strategy for conducting multiple, concurrent negotiations among agents in dynamic, uncertain, and real-t...
Xin Li, Leen-Kiat Soh
CONCURRENCY
2008
95views more  CONCURRENCY 2008»
15 years 6 months ago
The File Mover: high-performance data transfer for the grid
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...
Cosimo Anglano, Massimo Canonico
CONCURRENCY
2008
82views more  CONCURRENCY 2008»
15 years 5 months ago
Segregation and scheduling for P2P applications with the interceptor middleware system
Very large size Peer-to-Peer systems are often required to implement efficient and scalable services, but usually they can be built only by assembling resources contributed by man...
Cosimo Anglano
CACM
2011
96views more  CACM 2011»
15 years 1 months ago
Why STM can be more than a research toy
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...
Aleksandar Dragojevic, Pascal Felber, Vincent Gram...