Sciweavers

755 search results - page 62 / 151
» ideas 2005
Sort
View
ACTA
2005
90views more  ACTA 2005»
15 years 13 days ago
MOMI: a calculus for mobile mixins
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
Lorenzo Bettini, Betti Venneri, Viviana Bono
106
Voted
ACTA
2005
92views more  ACTA 2005»
15 years 13 days ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
ADT
2005
15 years 13 days ago
On Multiple Slice Turbo Codes
: The main problem concerning the hardware implementation of turbo codes is the lack of parallelism in the MAP-based decoding algorithm. This paper proposes to overcome this proble...
David Gnaedig, Emmanuel Boutillon, Michel Jé...
90
Voted
AIM
2005
15 years 13 days ago
RoboCup 2004 Competitions and Symposium: A Small Kick for Robots, a Giant Score for Science
RoboCup is an international initiative with the main goals of fostering research and education in Artificial Intelligence and Robotics, as well as of promoting science and technol...
Pedro U. Lima, Luís M. M. Custódio, ...
110
Voted
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
15 years 13 days ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge