|
|
Search results
- Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms, Stavros Tripakis, Albert Benveniste, Paul Caspi, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Christos Sofronis, Workshop on Exploiting Concurrency Efficiently and Correctly, May, 2009
- On Relational Interfaces, Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee, UC Berkeley, 8, May, 2009
- Model Engineering using Multimodeling, Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden, 30, September, 2008
- Multimodeling: A Preliminary Case Study, Christopher Brooks, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden, EECS Department, University of California, Berkeley, UCB/EECS-2008-7, January, 2008
Found 4 publications.
Notice:
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints
invoked by each author's copyright.
|
