Symbolic system synthesis using answer set programming

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

Volumn 8148 LNAI, Issue , 2013, Pages 79-91

  Andres, Benjamin ^a   Gebser, Martin ^a   Schaub, Torsten ^a   Haubelt, Christian ^b   Reimann, Felix ^c   Glaß, Michael ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; AUTOMATED SYSTEM DESIGNS; BOOLEAN SATISFIABILITY; CONNECTED COMPUTING; DESIGN APPROACHES; HIGH-LEVEL SYSTEMS; NETWORKS ON CHIPS; SYSTEM SPECIFICATION;

AUTOMATION; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS;

LOGIC PROGRAMMING;

EID: 84885756115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40564-8_9     Document Type: Conference Paper

References (13)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
3. Blickle, T., Teich, J., Thiele, L.: System-level synthesis using Evolutionary Algorithms. J. Design Automation for Embedded Systems 3(1), 23-58 (1998)
4. Borkar, S.: Thousand core chips: a technology perspective. In: Proc. of DAC 2007, pp. 746-749 (2007)
5. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AI Communications 24(2), 105-124 (2011)
6. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user's guide to gringo, clasp, clingo, and iclingo
7. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers (2012)
8. Haubelt, C., Teich, J., Feldmann, R., Monien, B.: SAT-Based Techniques in System Design. In: Proc. of DATE 2003, pp. 1168-1169 (2003)
9. Ishebabi, H., Mahr, P., Bobda, C., Gebser, M., Schaub, T.: Answer set vs integer linear programming for automatic synthesis of multiprocessor systems from real-time parallel programs. Journal of Reconfigurable Computing, Article ID 863630 (2009)
10. Lukasiewycz, M., et al.: Combined System Synthesis and Communication Architecture Exploration for MPSoCs. In: Proc. of DATE 2009, pp. 472-477. IEEE Computer Society (2009)
11. Lukasiewycz, M., et al.: Efficient symbolic multi-objective design space exploration. In: Proc. of ASP-DAC 2008, pp. 691-696 (2008)
12. Neema, S.: System Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, Tennessee (May 2001)
13. Niemann, R., Marwedel, P.: An Algorithm for Hardware/Software Partitioning Using Mixed Integer Linear Programming. Design Automation for Embedded Systems 2(2), 165-193 (1997)