Results 1  10
of
27
A Framework for Comparing Models of Computation
 IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems
, 1998
"... Abstract—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are e ..."
Abstract

Cited by 279 (60 self)
 Add to MetaCart
(Show Context)
Abstract—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are exactly one or exactly zero behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors of the component processes. The interaction between processes is through signals, which are collections of events. Each event is a valuetag pair, where the tags can come from a partially ordered or totally ordered set. Timed models are where the set of tags is totally ordered. Synchronous events share the same tag, and synchronous signals contain events with the same set of tags. Synchronous processes have only synchronous signals as behaviors. Strict causality (in timed tag systems) and continuity (in untimed tag systems) ensure determinacy under certain technical conditions. The framework is used to compare certain essential features of various models of computation, including Kahn process networks, dataflow, sequential processes, concurrent sequential processes with rendezvous, Petri nets, and discreteevent systems. I.
The capacity region of the Gaussian multipleinput multipleoutput broadcast channel
 IEEE TRANS. INF. THEORY
, 2006
"... The Gaussian multipleinput multipleoutput (MIMO) broadcast channel (BC) is considered. The dirtypaper coding (DPC) rate region is shown to coincide with the capacity region. To that end, a new notion of an enhanced broadcast channel is introduced and is used jointly with the entropy power inequa ..."
Abstract

Cited by 170 (3 self)
 Add to MetaCart
The Gaussian multipleinput multipleoutput (MIMO) broadcast channel (BC) is considered. The dirtypaper coding (DPC) rate region is shown to coincide with the capacity region. To that end, a new notion of an enhanced broadcast channel is introduced and is used jointly with the entropy power inequality, to show that a superposition of Gaussian codes is optimal for the degraded vector broadcast channel and that DPC is optimal for the nondegraded case. Furthermore, the capacity region is characterized under a wide range of input constraints, accounting, as special cases, for the total power and the perantenna power constraints.
Heterogeneous Concurrent Modeling and Design in Java (Volumes 1: Introduction to Ptolemy II)
, 2005
"... ..."
Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java
, 1999
"... This document describes Ptolemy II version 0.3. It contains three parts. The first part is a user's guide, which begins with an overview of the objectives of the software, then explains how to construct applets and applications, then reviews the actor libraries, and then concludes with a tutori ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
This document describes Ptolemy II version 0.3. It contains three parts. The first part is a user's guide, which begins with an overview of the objectives of the software, then explains how to construct applets and applications, then reviews the actor libraries, and then concludes with a tutorial on writing actors. The second part documents the software infrastructure. It is meant to complement, not replace, the code documentation. The third part documents the domains that have been written so far. Ptolemy II supports heterogeneous modeling and design of concurrent systems. It is component technology, in that the models are built by interconnecting components. Executable models are constructed under a model of computation, which is the set of "laws of physics" that govern the interaction of components in the model. If the model is describing a mechanical system, then the model of computation may literally be the laws of physics. More commonly, however, it is a set of rules that are more abstract, and provide a framework within which a designer builds models. A set of rules that govern the interaction of components is called the semantics of the model of computation. Each domain implements such a set of rules. Ptolemy II is written entirely in Java, and aims to support the construction of applets, servlets, migrating code, and embedded Java.
On the Causality of MixedSignal and Hybrid Models
 In 6th International Workshop on Hybrid Systems: Computation and Control (HSCC ’03
, 2003
"... Abstract. This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixedsignal and hybrid models. Using the Cantor metric, which maps timed signals, continuous or discrete, into a metric space, we define causality as contra ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
(Show Context)
Abstract. This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixedsignal and hybrid models. Using the Cantor metric, which maps timed signals, continuous or discrete, into a metric space, we define causality as contractive properties of processes operating on these signals. Thus, the Banach fixed point theorem can be applies to establish conditions for the existence, uniqueness, and liveness of the behaviors for mixedsignal and hybrid systems. The results also provide theoretical foundations for the simulation technologies for such systems, including the timemarching strategy, evaluation of feedback loops, and the necessity of supporting rollback. 1
Ptolemy II  heterogeneous concurrent modeling and design in Java
, 2005
"... Memorandum UCB/ERL M05/22 Earlier versions: • UCB/ERL M04/16 UCB/ERL M03/28 UCB/ERL M02/23 UCB/ERL M99/40 UCB/ERL M01/12 ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Memorandum UCB/ERL M05/22 Earlier versions: • UCB/ERL M04/16 UCB/ERL M03/28 UCB/ERL M02/23 UCB/ERL M99/40 UCB/ERL M01/12
Dynamic protocols for open agent systems
 In Proceedings of AAMAS
, 2009
"... Multiagent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘open’. The specification of protocols for open agent systems of this sort is largely seen as a designtime activity. Moreover, ..."
Abstract

Cited by 10 (3 self)
 Add to MetaCart
(Show Context)
Multiagent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘open’. The specification of protocols for open agent systems of this sort is largely seen as a designtime activity. Moreover, there is no support for runtime specification modification. Due to environmental, social, or other conditions, however, it is often required to revise the specification during the protocol execution. To address this requirement, we present an infrastructure for ‘dynamic ’ protocol specifications, that is, specifications that may be modified at runtime by agents. The infrastructure consists of welldefined procedures for proposing a modification of the ‘rules of the game ’ as well as decisionmaking over and enactment of proposed modifications. We evaluate proposals for rule modification by modelling dynamic specifications as metric spaces. Furthermore, we constrain the enactment of proposals that do not meet the evaluation criteria. We illustrate our infrastructure by presenting a dynamic specification of a resourcesharing protocol, and an execution of this protocol in which the participating agents modify the protocol specification.
Composite signal flow: a computational model combining events, sampled streams, and vectors
 In Proceedings of the Design and Test Europe Conference (DATE
, 2000
"... ..."
Ptolemy II  Heterogeneous Concurrent Modeling and Design in Java
, 2003
"... This document describes the design and implementation of Ptolemy II 2.0.1. Ptolemy II is a set of Java packages supporting heterogeneous, concurrent modeling and design. The focus is on assembly of concurrent components. The key underlying principle in the Ptolemy II is the use of welldefined model ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
This document describes the design and implementation of Ptolemy II 2.0.1. Ptolemy II is a set of Java packages supporting heterogeneous, concurrent modeling and design. The focus is on assembly of concurrent components. The key underlying principle in the Ptolemy II is the use of welldefined models of computation that govern the interaction between components. A major problem area that is addressed is the use of heterogeneous mixtures of models of computation. The kernel package in Ptolemy II supports clustered hierarchical graphs, which are collections of entities and relations between those entities. Its actor package extends the kernel so that entities have functionality and can communicate via the relations. Its domains extend the actor package by imposing models of computation on the interaction between entities. Examples of models of computation include discreteevent systems, dataflow, process networks, continuoustime models, synchronous/reactive systems, and communicating sequential processes. Ptolemy II includes a number of support packages, providing for example graphtheoretic manipulations, matrix and vector math and signal processing functions, visual display of data, a sophisticated type system, data encapsulation and an expression language and parser.
Evaluating Dynamic Protocols for Open Agent Systems (Demo Paper)
"... We present a software system for evaluating ‘dynamic ’ protocol specifications for open multiagent systems, that is, specifications that are developed at designtime but may be modified at runtime by the protocol participants. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
We present a software system for evaluating ‘dynamic ’ protocol specifications for open multiagent systems, that is, specifications that are developed at designtime but may be modified at runtime by the protocol participants.