Ingo Sander  Home/Search
Context
Related
| lib.kth.se/Fulltext/SANDER030523.PDF 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 Problem Downloading? From: lib.kth.se/Fulltext/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Advances in microelectronics allow the integration of more and more functionality on a single chip. Emerging system-on-a-chip architectures include a large amount of heterogeneous components and are of increasing complexity. Applications using these architectures require many low-level details in order to yield an efficient implementation. On the other hand constant time-to-market pressure on electronic systems demands a short design process that allows to model a system at a high abstraction... (Update)
Similar documents (at the sentence level):
6.6%: Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
Active bibliography (related documents): More All
1.8: Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
1.7: Transformation Based Communication and Clock Domain.. - Sander, Jantsch (2002) (Correct)
1.4: Development and Application of Design Transformations in ForSyDe - Ingo Sander Axel (2003) (Correct)
Similar documents based on text: More All
0.7: Refinement of a System Specification for a Digital Equalizer into.. - Lu (2002) (Correct)
0.5: Performance Estimation in ForSyDe - Zhang (2002) (Correct)
0.5: ClearSyDe, a Graphical User Interface for the ForSyDe Methodology - Ciuro (2002) (Correct)
BibTeX entry: (Update)
@misc{ sander-system,
author = "Ingo Sander",
title = "System Modeling and Design Refinement in ForSyDe",
url = "citeseer.ist.psu.edu/sander03system.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
1933 Communication and Concurrency (context) - Milner - 1989 ACM
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
1002 Programming Language (context) - Stroustrup - 2000
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
484 A calculus of communicating systems (context) - Milner - 1980
457 The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
235 The synchronous data flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
211 The synchronous approach to reactive and realtime systems (context) - Benveniste, Berry - 1991
210 Synchronous data flow (context) - Lee, Messerschmitt - 1987
206 Why Functional Programming Matters - Hughes - 1989 ACM DBLP
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993 ACM
161 Hardware-Software Co-Design of Embedded Systems: The Polis A.. (context) - Balarin, Chiodo et al. - 1997
150 Static scheduling of synchronous data flow programs for digi.. (context) - Lee, Messerschmitt - 1987 ACM DBLP
138 Lectures on Constructive Functional Programming (context) - Bird - 1988
137 Hardware-software cosynthesis for digital systems - Gupta, Micheli - 1993
124 Synthesis and Optimization of Digital Circuits (context) - Micheli - 1994 ACM
121 Programming real-time applications with SIGNAL (context) - Guernic, Gautier et al. - 1991
107 Coroutines and networks of parallel processes (context) - Kahn, MacQueen - 1977 DBLP
106 Dataflow process networks - Lee, Parks - 1995 ACM
106 Hardware-software co-design of embedded systems (context) - Wolf - 1994 ACM
94 The foundations of Esterel - Berry - 1998
89 A Gentle Introduction to Haskell - Hudak, Peterson et al. - 1999 ACM DBLP
85 Kluwer Academic Publishers (context) - Gajski, Zhu et al. - 2000
85 Circuit design in Ruby (context) - Jones, Sheeran - 1990
85 Kluwer Academic Publishers (context) - Gajski, Dutt et al. - 1992
82 Co-Synthesis of Hardware and Software for Digital Embedded S.. (context) - Gupta - 1995
79 The ESTEREL language (context) - Boussinot, de Simone - 1991
72 Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
66 Haskell - The Craft of Functional Programming (context) - Thompson - 1999
63 and application of functional programming languages (context) - Hudak, evolution - 1989
60 The constructive semantics of pure Esterel - Berry - 1999
57 The Argos language: Graphical representation of automata and.. - Maraninchi - 1991
56 Digital Signal Processing (context) - Proakis, Manolakis - 1996
55 Foundations of Parallel Programming (context) - Skillicorn - 1994 ACM
55 Cramming more components onto integrated circuits (context) - Moore - 1965 ACM
55 Models and languages for parallel computation - Skillicorn, Talia - 1998 ACM DBLP
54 Rules and strategies for transforming functional and logic p.. - Pettorossi, Proietti - 1996
47 SDL - Formal Object Oriented Language for Communicating Syst.. (context) - Ellsberger, Hogrefe et al. - 1997
46 Lava: Hardware design in Haskell - Bjesse, Claessen et al. - 1998
44 The Definition of Standard ML - Revised (context) - Milner, Tofte et al. - 1997
41 Formal program construction by transformations -- computer-a.. (context) - Bauer, oller et al. - 1989
37 What's ahead for embedded software - Lee - 2000
37 A hardware implementation of pure Esterel - Berry - 1991
35 Specification and Transformation of Programs (context) - Partsch - 1990 ACM
33 Addressing the system-on-a-chip interconnect woes through co.. - Sgroi, Sheets et al. - 2001
32 Real time programming: Special purpose or general purpose la.. (context) - Berry - 1989
32 Design of embedded systems: Formal models (context) - Edwards, Lavagno et al. - 1997
31 Introduction to high-level synthesis (context) - Gajski, Ramachdran - 1994 ACM
30 Codesign of embedded systems: Status and trends - Ernst - 1998
28 A metalanguage for interactive proof in LCF (context) - Gordon, Milner et al. - 1978 ACM DBLP
25 Hierarchical finite state machines with multiple concurrency.. - Girault, Lee et al. - 1999
24 Microprocessor specification in HAWK - Matthews, Cook et al. - 1998 ACM DBLP
22 System Design with SystemC (context) - otker, Liao et al. - 2002
21 Synthesis of software programs for embedded control applicat.. - Balarin, Chiodo et al. - 1999 DBLP
20 Some computer organisations and their effectiveness (context) - Flynn - 1972
17 System-level design: Orthogonolization of concerns and platf.. (context) - Keutzer, Malik et al. - 2000
16 FunState - an internal design representation for codesign - Strehl, Thiele et al. - 2001 DBLP
16 Haskell 98 Language and Libraries (context) - Jones - 2003
13 IEEE Transactions on Computer-Aided Design of Integrated Cir.. (context) - Lee, Sangiovanni-Vincentelli et al. - 1998
13 Hardwaresoftware codesign using functional language - Sharp, co et al. - 2031
13 Taming heterogeneity---the Ptolemy approach - Eker, Janneck et al. - 2003
10 Towards a declarative framework for hardware-software codesi.. - Luk, Wu - 1994 ACM
10 Real-time FRP - Wan, Taha et al. - 2001 ACM DBLP
9 Event-driven FRP - Wan, Taha et al. - 2002 ACM DBLP
9 SPI---a system model for heterogeneously specified embedded .. - Ziegenbein, Richter et al.
9 System synthesis based on a formal computational model and s.. - Sander, Jantsch - 1999
9 Realtime Signal Processing (context) - Reekie - 1995
8 The synchronous languages 12 years later (context) - Benveniste, Caspi et al. - 2003 DBLP
8 Functional reactive programming from first principles - Wan - 2000 ACM DBLP
8 Grammar-based hardware synthesis from port size independent .. (context) - Oberg, Kumar et al. - 2000
8 Mastering MATLAB 5: A comprehensive Tutorial and Reference (context) - Hanselman, Littlefield - 1998
8 a novel hardware description language and its translation to.. (context) - Li, Leeser - 2000
8 Embedded Languages for Describing and Verifying Hardware (context) - Claessen - 2001
8 A higher level language for hardware synthesis - Sharp, Mycroft - 2001
6 A case study of hardware and software synthesis in ForSyDe (context) - Lu, Sander et al. - 2002 ACM
6 the roles of functions and objects in system specification - Jantsch, Sander - 2000
6 Implementing reactive programs on circuits: A hardware imple.. (context) - Rocheteau, Halbwachs - 1992 DBLP
6 From transistors to computer architecture: Teaching function.. (context) - O'Donnell - 1995 DBLP
5 System synthesis utilizing a layered functional model (context) - Sander, Jantsch - 1999 ACM
5 Self-Timed Circuit Design - The Action Systems Approach (context) - Plosila - 1999
5 Hardwaresoftware codesign (context) - Gupta, co et al. - 1997
5 Reading HardwareSoftware CoDesign (context) - Ernst, in et al. - 2002
5 Systematic Design of Synchronous Digital Circuits (context) - Seceleanu - 2001
4 Transformation based communication and clock domain refineme.. - Sander, Jantsch - 2002 ACM DBLP
4 Developing architectural platforms: A disciplined approach - Mihal, Kulkarni et al. - 2002
4 Synchronous approach to functional equivalence of embedded s.. - Hsieh, Balarin et al. - 2001
4 Kluwer Academic Publishers (context) - Jantsch, Tenhunen et al. - 2003
3 System modeling and transformational design refinement in Fo.. (context) - Sander, Jantsch - 2003
3 Modeling of mixed control and dataflow systems in MASCOT (context) - eus, Jantsch - 2001
3 Formal system design based on the synchrony hypothesis - Sander, Jantsch - 1999
3 The usage of stochastic processes in embedded system specifi.. - Jantsch, Sander et al. - 2001 ACM
3 SpecC methodology for high-level modeling (context) - omer, Gajski et al. - 2002
3 Composite signal flow: A computational model combining event.. - Jantsch, eus - 2000
3 Transformational system design based on a formal computation.. - Wu, Sander et al. - 2000
2 Validation of synchronous reactive systems: from formal veri.. - Halbwachs, Raymond - 1999 DBLP
2 MASCOT: A specification and cosimulation method integrating .. (context) - eus, Jantsch - 2000 DBLP
2 Development and application of design transformations in For.. - Sander, Jantsch et al. - 2003 ACM DBLP
1 Haskell vs Ada vs C++ vs Awk vs (context) - Hudak, Jones - 1994
1 Refinement of a system specification for a digital equalizer.. - Lu - 2001
1 Technical Monograph PRG-56 edition (context) - Bird, to et al. - 1986
1 Joyner Jr (context) - Allan, Edenfeld - 2001
1 ACM Transactions on Design Automation of Electronic Systems (context) - Voeten, fundamental et al. - 2001
1 Hardware-software cosynthesis from microcontrollers (context) - Ernst, Henkel et al. - 1993
1 Concurrent Progamming in ERLANG (context) - Armstrong, Virding et al. - 1996
1 Technical Report UCBERL No (context) - Hylands, Liu et al. - 1999
1 System level specifcation in Lava (context) - Singh - 2003
1 Comparison of six languages for system level descriptions of.. - Jantsch, Kumar et al. - 1998
http://www.ele.kth.se/ForSyDe
http://www.haskell.org
http://www.informatik.uni-ulm.de/
Documents on the same site (http://www.lib.kth.se/Fulltext/): More
Time- and space-resolved spectroscopy at the EXTRAP-T2.. - Sallander (Correct)
Co-Rotational Beam Elements in Instability Problems - Battini (2002) (Correct)
Experimental Studies of Zero Pressure-Gradient Turbulent.. - Österlund (1999) (Correct)
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