15840 search results - page 719 / 3168 » The Control of Synchronous Systems |
191
click to vote
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
190
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a decentralized, communication-less approach to the dynamic allocation of a swarm of homogeneous robots to a target distribution among multiple sites. Building on ou...
156
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
— We present novel exploration algorithms and a control law that enable the construction of Voronoi diagrams over unknown areas using a single autonomous vehicle equipped with ra...
218
click to vote
NOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces Network-on-Chip (NoC) design methodology and low cost mechanisms for supporting efficient cache access and cache coherency in future high-performance Chip Mul...
248
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
– The advancement of multimedia services including audio/visual media has been rapid. The applications of cellular phones, in particular, have increased by using these technologi...