206 search results - page 19 / 42 » Concurrent Methodologies for Global Optimization |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
MM
2010
ACM
13 years 8 months ago
2010
ACM
As massively multiplayer online games are becoming very popular, how to support a large number of concurrent users while maintaining the game performance has become an important r...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we introduce an extension of the PARADIGMA (PARticipative Approach to DIsease Global Management) approach to take into account the home healthcare assistanc...