Sciweavers

8496 search results - page 495 / 1700
» Problem Solving and Complex Systems
Sort
View
239
Voted
IPPS
2009
IEEE
16 years 2 months ago
Multi-users scheduling in parallel systems
We are interested in this paper to study scheduling problems in systems where many users compete to perform their respective jobs on shared parallel resources. Each user has speci...
Erik Saule, Denis Trystram
ICTAC
2009
Springer
16 years 9 days ago
A Formal Approach to Heuristically Test Restorable Systems
Abstract. Given a nite state machine denoting the specication of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
Pablo Rabanal, Ismael Rodríguez, Fernando R...
CONCUR
2008
Springer
15 years 9 months ago
Invariants for Parameterised Boolean Equation Systems
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
Simona Orzan, Tim A. C. Willemse
IJCAI
1997
15 years 9 months ago
A Music Stream Segregation System Based on Adaptive Multi-Agents
A principal problem of auditory scene analysis is stream segregation: decomposing an input acoustic signal into signals of individual sound sources included in the input. While ex...
Kunio Kashino, Hiroshi Murase
ICASSP
2011
IEEE
14 years 11 months ago
Power allocation for orthogonal AF relay systems with outage-based QOS constraints
We consider the problem of minimizing the cost of the power required to achieve a specified level of quality-of-service (QoS) on a point-to-point link that may be assisted by an ...
Rooholah Hasanizadeh, Timothy N. Davidson