Rajesh K. Gupta  Home/Search
Context
Related
| uci.edu/~sumitg/cadbib.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: uci.edu/~sumitg/CadPages (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: models for synthesis based on control and data. Abstract models for embedded systems broadly fall into two classes based on their orientation towards data or control flow. There is some debate in the community about finding a model that can be used to efficiently perform both data and control-oriented transformation. In addition, appropriate representation of timing behavior is needed. The following references will provide a starting point on this subject [CH86, HLN + 90, Har92, CGH + 93a,... (Update)
Active bibliography (related documents): More All
1.3: Hardware-software Co-synthesis for Digital Systems - Gupta, De Micheli (1993) (Correct)
0.9: Constrained Software and Runtime System Generation for.. - Gupta, De Micheli (1994) (Correct)
0.8: Synthesis and Simulation of Digital Systems.. - Gupta, Coelho, Jr.. (1992) (Correct)
Similar documents based on text: More All
0.1: System Validation via Constraint Modeling - Waters (1988) (Correct)
0.0: A Structural Characterization and a New Linear-Time Algorithm .. - Engel, Guttmann (1998) (Correct)
0.0: Linear Time Near-Optimal Planning in the Blocks World - Slaney, Thiébaux (1996) (Correct)
BibTeX entry: (Update)
@misc{ gupta-reading,
author = "Rajesh K. Gupta",
title = "Reading Material: A First Cut",
url = "citeseer.ist.psu.edu/gupta96reading.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard real-ti.. - Liu, Layland - 1973
480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987
297 Statemate: a working environment for the development of comp.. - Harel, Lachover et al. - 1990
270 Synchronous programming of reactive systems (context) - Halbwachs - 1993
226 the complexity of fixed-priority scheduling of periodic (context) - Leung, Whitehead - 1982
216 Register Allocation and Spilling via Graph Coloring (context) - Chaitin - 1982
211 The synchronous approach to reactive and real-time systems (context) - Berry, Benveniste - 1991
167 Calculating the maximum execution times of real-time program.. (context) - Puschner, Koza - 1989
163 Hardware-Software Cosynthesis for Microcontrollers (context) - Ernst, Henkel et al. - 1993
161 Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
124 Synthesis and Optimization of Digital Circuits (context) - De Micheli - 1994
122 Performance Analysis using Stochastic Petri Nets (context) - Molloy - 1982
106 Hardware-Software Co-design of Embedded Systems (context) - Wolf - 1994
103 Experiments with a Program Timing Tool Based on Source-Level.. (context) - Park, Shaw - 1990
98 Real-Time Systems and Their Programming Languages (context) - Burns, Wellings - 1990
92 Reasoning about Time in Higher Level Language Software - Shaw - 1989
71 Performance analysis of embedded software using implicit pat.. - Li, Malik - 1995
64 Synthesis and Simulation of Digital Systems Containing Inter.. - Gupta, Coelho et al. - 1992
59 Timing Constraints of Real-Time Systems: Constructs for Expr.. (context) - Dasarathy - 1985
54 Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989
52 Introduction to Programmable Active Memories - Bertin, Roncin et al. - 1989
50 System-level Synthesis Using Re-programmable Components - Gupta, De Micheli - 1992
47 A Hardware-Software Codesign Methodology for DSP Application.. - Kalavade, Lee - 1993
47 Software scheduling in the Co-Synthesis of Reactive Real-Tim.. - Chou, Borriello - 1994
46 Partial Ordering of Event Sets and Their Application to Prot.. - Luckham, Vera et al. - 1993
44 Kluwer Academic Publishers (context) - Camposano, Wolf et al. - 1991
42 Program Implementation Schemes for Hardware-Software Systems - Gupta, Coelho et al. - 1994
39 Telecommunications systems engineering using SDL (context) - Saracco, Smith et al. - 1989
36 Modeling and Analysis: An Introduction to System Performance.. (context) - Kobayashi - 1978
33 Synthesis and Optimization of Interface Transducer Logic (context) - Borriello, Katz - 1987
31 Real-time programming: General purpose or special-purpose la.. (context) - Berry - 1989
29 The Olympus Synthesis System for Digital Design (context) - De Micheli, Ku et al. - 1990
25 Interactive system-level partitioning with PARTIF (context) - Ismail, O'Brien et al. - 1994
23 Optimized controller synthesis using esterel - Berry, Touati - 1993
22 Applying compiler techniques to scheduling in Real-time syst.. - Gopinath, Gupta - 1990
21 Heterogeneous Decomposition and Coupling for Combined Modeli.. (context) - Fishwick - 1991
21 Synthesis of software programs for embedded control applicat.. - Chiodo, Giusto et al. - 1995
21 Rapid-Prototyping of Hardware and Software in a Unified Fram.. (context) - Srivastava, Broderson - 1991
20 Predicting deterministic execution times of Real-time Progra.. (context) - Park - 1992
19 Guaranteed Response Times in a Hard Real-Time Environment (context) - Leinbaugh - 1980
17 Fast timing analysis for hardware-software cosynthesis (context) - Ye, Ernst et al. - 1993
16 Software Interface in Microcontroller-Based Systems (context) - Chou, Ortega et al. - 1992
15 Introduction to process-oriented simulation and csim (context) - Schwetman - 1990
15 Timed and untimed hardware/software co-simulation: Applicati.. (context) - Hagen, Meyr - 1993
14 A general method for compiling event-driven simulations - French, Lam et al. - 1995
14 A formal specification model for hardware/software codesign - Chiodo, Giusto et al. - 1993
14 Dynamic scheduling and synchronization synthesis of concurre.. - Coelho, De Micheli - 1994
13 The effect of false paths in high-level synthesis (context) - Bergamaschi - 1991
13 Constrained software generation for hardwaresoftware systems (context) - Gupta, De Micheli - 1994
12 Biting the silver bullet (context) - Harel - 1992
12 Configurable hardware: Two case studies of micro-grain compu.. (context) - Gray, Kean - 1989
11 Considering Timing Constraints in Synthesis from a Behaviora.. (context) - Camposano, Kunzmann - 1986
11 Anatomy of a hardware compiler (context) - Keutzer, Wolf - 1988
11 Synthesis of mixed software-hardware implementations from CF.. - Chiodo, Giusto et al. - 1993
10 IEEE Transactions on Software Engineering (context) - Haase, Behavior - 1991
10 High-level Synthesis and Optimization Strategies in Hercules.. (context) - Ku, De Micheli - 1990
9 Sizing Synchronization Queues: A Case Study in Higher Level .. (context) - Amon, Borriello - 1991
8 Ptolemy: A Platform Heterogeneous Simulation and Prototyping (context) - Buck, Ha et al. - 1991
8 Deterministic Timing Schema for Parallel Programs (context) - Shaw - 1991
7 An Efficient Microcode compiler for Custom DSP-Processors (context) - Goosens, Rabaey et al. - 1987
7 Algorithmic and Register-Transfer Level: The System Architec.. (context) - Thomas, Lagnese et al. - 1990
7 Control optimization in high-level synthesis using behaviora.. (context) - Bergamaschi - 1992
6 Compilation of a single specification into hardware and soft.. (context) - Woo, Wolf et al. - 1992
6 Array design methodologies for realtime signal processing in.. (context) - Catthoor, van Swaaij et al. - 1991
6 Algorithms for Interface Timing Verification (context) - McMillan, Dill - 1992
5 A case study in embedded system design: the VuMan 2 wearable.. (context) - Smailagic, Siewiorek - 1993
5 Optimal synthesis of control logic from behavioral specifica.. (context) - Ku, De Micheli - 1990
5 Linking system design tools and hardware design tools (context) - Jerraya, O'Brien et al. - 1993
5 Hardware-Software Co-Design (context) - Horowitz, Keutzer - 1993
5 High Level Synthesis of Pipelined Instruction Set Processors.. (context) - Huang, Despain - 1992
5 A Partitioning Algorithm for System-Level Synthesis (context) - Menez, Auguin et al. - 1992
5 Reprogrammable hardware emulation automates system-level ASI.. (context) - Walters - 1990
4 Hardware-Software Cosynthesis for Digital Systems - Gupta, De Micheli - 1993
4 Forecasting Real-Time Behavior During Software Design Using .. (context) - Lauber - 1989
4 Software Partitioning with UNITY (context) - Barros, Rosenstiel et al. - 1993
4 A novel ASIC design approach based on a new machine paradigm (context) - Hartenstein, Hirschbiel et al. - 1991
3 Algorithm Transform Techniques for Concurrent Processors (context) - Parhi - 1989
3 Mapping Systolic Arrays onto the Map-oriented Machine (context) - Hartenstein, Hirschbiel et al. - 1989
3 Automating architectural exploration with a fast simulator (context) - Olukotun, Helaihel - 1993
3 Anatomy of a Silicon Compiler (context) - Broderson - 1992
3 Sizing and Verification of Communication Buffers for Communi.. (context) - Kolks, Lin et al. - 1993
2 Applications of Process Algebra (context) - Bergstra, Klop - 1990
2 Design and implementation of a robot control system using a .. (context) - Srivastava, Blumenau et al. - 1992
2 Signal Type Optimisation in the design of timemultiplexed DS.. - Schoofs, Goossens et al. - 1994
2 Design of a VLIW architecture constructed from standard RISC.. (context) - Pfahler, Nagel et al. - 1993
2 Automatic Synthesis of Micro Controllers (context) - Nagle - 1979
2 Synthesis of ASICs with Hercules and Hebe (context) - Ku, De Micheli - 1991
1 SDL'87: State of teh Art and Future Trends (context) - Saracco, Tilanus - 1987
1 A stochastic Petri net with applications to modeling occupan.. (context) - Shapiro - 1979
1 Interface optimization for concurrent systems (context) - Filo, Ku et al. - 1993
1 Constraint Analysis and Propagation Techniques for Embedded .. (context) - Gupta, De Micheli - 1994
1 A Functional Model for Describing and Reasoning Time Behavio.. (context) - Caspi, Halbwachs - 1986
1 An Expression Model for Extraction and Evaluation of Paralle.. (context) - Wei, Sholl - 1982
1 Code optimization techniques for embedded dsp processors (context) - Liao - 1995
1 A new language-based approach to the rapid construction of h.. (context) - Belz, Luckham - 1990
1 An Integrated Environment for Concurrent Development of a Pi.. (context) - Roth, Watkins et al. - 1993
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