2007 Research Summaries for the Ptolemy Project

These research summaries give a snapshot of many of the research efforts within the Ptolemy Project. These summaries appear in the collection of research abstracts EECS/Research Summary. The research summary is published once a year by the EECS Industrial and Public Relations Office of the Electrical Engineering and Computer Sciences Department of the University of California at Berkeley. The EECS Industrial and Public Relations Office (IPRO) may be reached at +1-510-643-6691 or indrelations@eecs.berkeley.edu

Researcher(s)	Project Title
Christopher Brooks, Edward Lee, Yang Zhao, Man-Kit Leung	Ptolemy II- Heterogeneous Concurrent Modeling and Design in Java
Gang Zhou	Dynamic Dataflow and Boolean Dataflow in Ptolemy II
Adam Cataldo Eleftherios Matsikoudis Haiyang Zheng	Abstract Semantics
Elaine Cheong	Actor-Oriented Programming for Wireless Sensor Networks
Adam Cataldo Elaine Cheong Thomas Feng	The Ptalon Programming Language
Ye Zhou and Edward A. Lee	Causality Interfaces for Actor Networks
Eleftherios D. Matsikoudis	Compositional Dataflow
Haiyang Zheng	An Operational Semantics for Hybrid Systems
Yang Zhao	PTIDES: Programming Temporally Integrated Distributed Embedded Systems
Thomas Feng	Distributed Modeling and Simulation with Backtracking
Gang Zhou Jackie Man-Kit Leung Christopher Brooks	Partial Evaluation for Optimized Compilation of Actor-oriented Models
Eleftherios D. Matsikoudis	Semantic Interpretation of Timed Discrete-Event Systems
Elaine Cheong Yang Zhao Christopher Brooks	Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks

Last updated 09/29/06