3458 search results - page 71 / 692 » Abstracting Control |
ENTCS
2006
13 years 9 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
ICC
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract: Power control algorithms assume that the receiver structure is fixed and iteratively update the transmit powers of the users to provide them with an acceptable quality o...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
AGENTCL
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Exploring agent conversation in the context of fine-grained agent coordination research has raised several intellectual questions. The major issues pertain to interactio...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract--Hardware/Software codesign of Elliptic Curve Cryptography has been extensively studied in recent years. However, most of these designs have focused on the computational a...