Constraint-guided self-adaptation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2614, Issue , 2003, Pages 39-51

  Neema, Sandeep ^a   Ledeczi, Akos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; RECONFIGURABLE HARDWARE;

ADDITIONAL KNOWLEDGE; CONSTRAINT SATISFACTION; FORMAL CONSTRAINTS; MONITORED PARAMETERS; NON-FUNCTIONAL REQUIREMENTS; OPERATIONAL PARAMETERS; ORDERED BINARY DECISION DIAGRAMS; SELF-ADAPTIVE SYSTEM;

BINARY DECISION DIAGRAMS;

EID: 21144458580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36554-0_4     Document Type: Article

References (9)

1. Ledeczi A., Bakay A., Maroti M.: "Model-Integrated Embedded Systems," in Robertson, Shrobe, Laddaga (eds): Self Adaptive Software, Springer-Verlag Lecture Notes in Computer Science, #1936, February 2001.
2. J. Sztipanovits, G. Karsai, "Model-Integrated Computing," IEEE Computer, pp. 110-112, April 1997.
3. Ledeczi A., et al.: "Composing Domain-Specific Design Environments," IEEE Computer, pp. 44-51, November 2001.
4. Bapty T., Neema S., Scott J., Sztipanovits J., Asaad S.: "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems," VLSI Design, 10, 3, pp. 281-306, 2000.
5. Harel, D., "Statecharts: A Visual Formalism for Complex Systems", Science of Computer Programming 8, pp. 231-274, 1987.
6. Neema S., "System Level Synthesis of Adaptive Computing Systems", Ph.D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, May 2001.
7. Bryant R., "Symbolic Manipulation with Ordered Binary Decision Diagrams," School of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-92-160, July 1992.
8. Warmer J., Kleppe A.: The Object Constraint Language: Precise Modeling With Uml, Addison Wesley Pub. Co. 1999.
9. Sztipanovits, J., Karsai G.: "Self-Adaptive Software for Signal Processing," CACM, 41, 5, pp. 55-65, 1998.