252 search results - page 33 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
119
Voted
NIME
2004
Springer
15 years 8 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
143
click to vote
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
119
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
125
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
134
click to vote
JSAC
2006
15 years 3 months ago
2006
A game-theoretic model for studying power control in multicarrier code-division multiple-access systems is proposed. Power control is modeled as a noncooperative game in which each...