Sciweavers

3791 search results - page 426 / 759
» Packing sets of patterns
Sort
View
FOSSACS
2010
Springer
15 years 11 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
CEC
2009
IEEE
15 years 11 months ago
Symmetric networks foster to evolve desirable turn-taking rules in dispersion games
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...
Akira Namatame, Hiroshi Sato
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
15 years 11 months ago
On decomposing Boolean functions via extended cofactoring
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
Anna Bernasconi, Valentina Ciriani, Gabriella Truc...
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
15 years 11 months ago
Response-time analysis of arbitrarily activated tasks in multiprocessor systems with shared resources
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
Mircea Negrean, Simon Schliecker, Rolf Ernst
IROS
2009
IEEE
127views Robotics» more  IROS 2009»
15 years 11 months ago
Intercontinental, multimodal, wide-range tele-cooperation using a humanoid robot
— This paper is the continuation of our previous work in intercontinental, collaborative teleoperation with a humanoid robot. Our new achievement consists in an extension of the ...
Paul Evrard, Nicolas Mansard, Olivier Stasse, Abde...