1297 search results - page 117 / 260 » Control of systems integrating logic, dynamics, and constrai... |
105
click to vote
ENTCS
2006
15 years 1 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
114
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
The study focuses on a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. Essentially, we propose an agreement protocol that impose a p...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
111
click to vote
CSMR
2004
IEEE
15 years 5 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
111
click to vote
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...