See this document in CiteSeerX!

JADE: An Embedded Systems Specification, Code Generation and Optimization Tool (2000)  (Make Corrections)  
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

 
View or download:
ucsd.edu/~cpereira/pape...sbcci2000.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ucsd.edu/users/cpereira/ (more)
Homepages:  C.Pereira  

Rate this article: (best)
  Comment on this article  
(Enter summary)

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