Cristiano L. Pereira, Reuber G. Duarte, Claudionor J. N. Coelho Jr., Diogenes C. da Silva Jr., Antonio O. Fernandes, Luciana L. Ambrosio, Luciana H. Canaan  Home/Search
Context
Related
| ucsd.edu/~cpereira/pape...sbcci2000.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 From: ucsd.edu/users/cpereira/ (more) Homepages: C.Pereira |
Rate this article:      (best)Comment on this article |
Abstract: Market pressures with ever-increasing complexity and shorter time urges the use of formal methods in the system development process to produce new systems faster and cheaper due to the capacity to automate the verification, simulation and code generation. A problem that comes up, however, is that code generated from formal languages is not the most efficient because of the mapping between the specification and the implementation models. To cope with this, we present an optimization technique to ... (Update)
Active bibliography (related documents): More All
0.5: Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (Correct)
0.5: Derivation of Efficient Implementations from SDL.. - Henke, König, .. (Correct)
0.1: SDL as a System Level Specification Language for.. - Muth, Färber (2000) (Correct)
Similar documents based on text: More All
0.2: Synthesis and Simulation of Digital Systems.. - Gupta, Coelho, Jr.. (1992) (Correct)
0.2: Program Implementation Schemes for Hardware-Software.. - Gupta, Coelho, Jr., De.. (1994) (Correct)
0.2: Interface Optimization for Concurrent Systems under.. - Filo, Ku, Coelho.. (1993) (Correct)
BibTeX entry: (Update)
@misc{ pereira-jade,
author = "Cristiano L. Pereira and Reuber G. Duarte and Claudionor J. N. Coelho Jr.
and Diogenes C. da Silva Jr. and Antonio O. Fernandes and Luciana L. Ambrosio
and Luciana H. Canaan",
title = "{JADE}: An Embedded Systems Specification, Code Generation and Optimization
Tool",
url = "citeseer.ist.psu.edu/pereira00jade.html" }
Citations (may not include all citations):302 The semantics of a Simple Language For Parallel Programming (context) - Kahn - 1974
161 Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994 ACM
47 SDL - Formal Object-Oriented Language for Communicating Syst.. (context) - Ellsberger, Hogrefe et al. - 1997
15 Language and Interaction: Essays in Honour of Robin Milner (context) - Berry, of et al. - 1998
10 Derivation of Efficient Implementations from SDL Specificati.. - Henke, Konig et al.
10 Optimization techniques for Parallel Protocol Implementation.. - Leue, Oechslin - 1993
2 Performance Engineering SDLMSC System (context) - Thiel, Performance et al. - 1998
2 Automated Derivation of Efficient Implementations from SDL S.. - Henke, Konig et al.
1 Technical Presentation (context) - GEODE - 1994
1 On Parallelising and Optimizing the Implementation of Commun.. (context) - Leue, Oechslin - 1996
Documents on the same site (http://www.cse.ucsd.edu/users/cpereira/):
A Software Architecture for Building Power Aware.. - Pereira.. (2002) (Correct)
Leakage Aware Dynamic Voltage Scaling for Real-Time.. - Jejurikar, Pereira, Gupta (2004) (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