Using Giotto Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido,...  Home/Search
Context
Related
| berkeley.edu/~tah/...de_using_giotto.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~t...de_using_giotto (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper appeared as [1] (Update)
Similar documents (at the sentence level):
11.7%: Unknown - Present Methodology For (Correct)
11.2%: A Giotto-based Helicopter Control System - Kirsch, Sanvido, Henzinger, Pree (2002) (Correct)
Active bibliography (related documents): More All
0.6: Giotto: A Time-Triggered Language for - Embedded Programming Thomas (Correct)
0.6: Giotto: A Time-triggered Language for Embedded Programming - Henzinger, Horowitz, Kirsch (2000) (Correct)
0.4: A Preliminary Report on the Embedded Virtual Machine - Arkadeb Ghosal Marco (Correct)
Similar documents based on text: More All
0.5: Embedded Control Systems Development with Giotto - Henzinger, Horowitz, Kirsch (2001) (Correct)
0.5: Event-driven Programming with Logical Execution Times - Ghosal, Henzinger, Kirsch.. (2004) (Correct)
0.4: Time-Safety Checking for Embedded Programs - Henzinger, Kirsch, Majumdar.. (2002) (Correct)
BibTeX entry: (Update)
@misc{ thomas-from,
author = "Using Giotto Thomas",
title = "From Control Models to Real-Time Code",
url = "citeseer.ist.psu.edu/635643.html" }
Citations (may not include all citations):270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
235 The synchronous dataflow programming language Lustre - Halbwachs, Caspi et al. - 1991
98 Real-Time Systems: Design Principles for Distributed Embedde.. (context) - Kopetz - 1997
94 The foundations of Esterel - Berry - 2000
92 Synchronous programming with events and relations: The Signa.. (context) - Benveniste, Le Guernic et al. - 1991
39 Giotto: A time-triggered language for embedded programming - Henzinger, Horowitz et al. - 2001
19 Reliable and precise WCET determination for a real-life proc.. (context) - Ferdinand, Heckmann et al. - 2001
17 Masaccio: A formal model for embedded components - Henzinger - 2000
17 Embedded control systems development with Giotto - Henzinger, Horowitz et al. - 2001
16 MetaH support for real-time multi-processor avionics (context) - Vestal - 1997
14 Time-safety checking for embedded programs - Henzinger, Kirsch et al. - 2002
11 A Computer System for Model Helicopter Flight Control; Techn.. (context) - Wirth - 1999
11 A Computer System for Model Helicopter Flight Control; Techn.. - Sanvido - 1999
9 A Giottobased helicopter control system - Kirsch, Sanvido et al. - 2002
8 The Embedded Machine: Predictable, portable real-time code - Henzinger, Kirsch - 2002
8 Tasks versus threads: An alternative multiprocessing paradig.. (context) - Wirth - 1996
6 Control of helicopters (context) - Chapuis, Eck et al. - 1999
4 Principles of real-time programming - Kirsch - 2002
4 Embedded-software design and system integration for rotorcra.. (context) - Horowitz, Liebman et al. - 2002
3 Reengineering a single-threaded embedded missile application.. (context) - McConnel, Lewis et al. - 1998
3 Navigation Algorithms with Applications to Unmanned Helicopt.. (context) - Eck - 2001
2 Projekt Oberon: The Design of an Operating System and Compil.. (context) - Wirth, Gutknecht - 1992
1 The Hummingbird Helicopter (context) - Laboratory, University
http://mindstorms.lego.com
http://www.cs.cmu.edu/afs/cs/project/chopper/www
http://controls.ae.gatech.edu/labs/uavrf
http://www.windriver.com/products/html/vxwks5x.html
http://www.heli.ethz.ch
http://gewurtz.mit.edu/research/heli.htm
http://pdv.cs.tu-berlin.de/MARVIN
http://www.windriver.com/products/html/osekworks.html
http://www.wecontrol.ch
http://robotics.eecs.berkeley.edu/bear
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC