메뉴 건너뛰기




Volumn , Issue , 2013, Pages

Diversely enumerating system-level architectures

Author keywords

Architectures; Constraints; Diverse enumeration; Symmetry directed randomized partitioning; Synthesis

Indexed keywords

ARCHITECTURE; EMBEDDED SOFTWARE; EQUIVALENCE CLASSES; LOGIC PROGRAMMING; SYNTHESIS (CHEMICAL);

EID: 84892639150     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMSOFT.2013.6658589     Document Type: Conference Paper
Times cited : (17)

References (25)
  • 1
    • 0041633600 scopus 로고    scopus 로고
    • Shatter: Efficient symmetry-breaking for boolean satisfiability
    • F. A. Aloul, I. L. Markov, and K. A. Sakallah. Shatter: efficient symmetry-breaking for boolean satisfiability. In DAC, pages 836-839, 2003.
    • (2003) DAC , pp. 836-839
    • Aloul, F.A.1    Markov, I.L.2    Sakallah, K.A.3
  • 6
    • 45749085681 scopus 로고    scopus 로고
    • Z3: An efficient SMT solver
    • L. M. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In TACAS, pages 337-340, 2008.
    • (2008) TACAS , pp. 337-340
    • De Moura, L.M.1    Bjørner, N.2
  • 7
    • 0034888388 scopus 로고    scopus 로고
    • Upper bounds on the satisfiability threshold
    • O. Dubois. Upper bounds on the satisfiability threshold. Theor. Comput. Sci., 265(1-2):187-197, 2001.
    • (2001) Theor. Comput. Sci , vol.265 , Issue.1-2 , pp. 187-197
    • Dubois, O.1
  • 8
    • 30344450270 scopus 로고    scopus 로고
    • An extensible SAT-solver
    • N. Eén and N. Sörensson. An Extensible SAT-solver. In SAT, pages 502-518, 2003.
    • (2003) SAT , pp. 502-518
    • Eén, N.1    Sörensson, N.2
  • 9
    • 35148888041 scopus 로고    scopus 로고
    • A verifiable language for programming real-time communication schedules
    • S. Fischmeister, O. Sokolsky, and I. Lee. A verifiable language for programming real-time communication schedules. IEEE Trans. Computers, 56(11):1505-1519, 2007.
    • (2007) IEEE Trans. Computers , vol.56 , Issue.11 , pp. 1505-1519
    • Fischmeister, S.1    Sokolsky, O.2    Lee, I.3
  • 10
    • 84869071944 scopus 로고    scopus 로고
    • Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems
    • G. Giannopoulou, K. Lampka, N. Stoimenov, and L. Thiele. Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. In EMSOFT, pages 63-72, 2012.
    • (2012) EMSOFT , pp. 63-72
    • Giannopoulou, G.1    Lampka, K.2    Stoimenov, N.3    Thiele, L.4
  • 11
    • 33646912489 scopus 로고    scopus 로고
    • Tdma time slot and turn optimization with evolutionary search techniques
    • A. Hamann and R. Ernst. Tdma time slot and turn optimization with evolutionary search techniques. In DATE, pages 312-317, 2005.
    • (2005) DATE , pp. 312-317
    • Hamann, A.1    Ernst, R.2
  • 12
    • 79960350730 scopus 로고    scopus 로고
    • Synthesizing cyber-physical architectural models with real-time constraints
    • C. Hang, P. Manolios, and V. Papavasileiou. Synthesizing cyber-physical architectural models with real-time constraints. In CAV, pages 441-456, 2011.
    • (2011) CAV , pp. 441-456
    • Hang, C.1    Manolios, P.2    Papavasileiou, V.3
  • 14
    • 78650636542 scopus 로고    scopus 로고
    • Components, platforms and possibilities: Towards generic automation for MDA
    • E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen. Components, Platforms and Possibilities: Towards Generic Automation for MDA. In EMSOFT, pages 39-48, 2010.
    • (2010) EMSOFT , pp. 39-48
    • Jackson, E.K.1    Kang, E.2    Dahlweid, M.3    Seifert, D.4    Santen, T.5
  • 16
    • 0034873871 scopus 로고    scopus 로고
    • Synthesizing distributed systems
    • O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In LICS, pages 389-398, 2001.
    • (2001) LICS , pp. 389-398
    • Kupferman, O.1    Vardi, M.Y.2
  • 17
    • 77951580492 scopus 로고    scopus 로고
    • Approximating the pareto front of multi-criteria optimization problems
    • J. Legriel, C. L. Guernic, S. Cotton, and O. Maler. Approximating the pareto front of multi-criteria optimization problems. In TACAS, pages 69-83, 2010.
    • (2010) TACAS , pp. 69-83
    • Legriel, J.1    Guernic, C.L.2    Cotton, S.3    Maler, O.4
  • 18
    • 78049401341 scopus 로고    scopus 로고
    • Evolution of the linux kernel variability model
    • R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. Wasowski. Evolution of the linux kernel variability model. In SPLC, pages 136-150, 2010.
    • (2010) SPLC , pp. 136-150
    • Lotufo, R.1    She, S.2    Berger, T.3    Czarnecki, K.4    Wasowski, A.5
  • 19
    • 79959440176 scopus 로고    scopus 로고
    • Generating diverse solutions in SAT
    • A. Nadel. Generating Diverse Solutions in SAT. In SAT, pages 287-301, 2011.
    • (2011) SAT , pp. 287-301
    • Nadel, A.1
  • 20
    • 0142156696 scopus 로고    scopus 로고
    • Constraint-based design-space exploration and model synthesis
    • S. Neema, J. Sztipanovits, G. Karsai, and K. Butts. Constraint-based design-space exploration and model synthesis. In EMSOFT, pages 290-305, 2003.
    • (2003) EMSOFT , pp. 290-305
    • Neema, S.1    Sztipanovits, J.2    Karsai, G.3    Butts, K.4
  • 21
    • 80052678758 scopus 로고    scopus 로고
    • Symbolic system synthesis in the presence of stringent real-time constraints
    • F. Reimann, M. Lukasiewycz, M. Glaß, C. Haubelt, and J. Teich. Symbolic system synthesis in the presence of stringent real-time constraints. In DAC, pages 393-398, 2011.
    • (2011) DAC , pp. 393-398
    • Reimann, F.1    Lukasiewycz, M.2    Glaß, M.3    Haubelt, C.4    Teich, J.5
  • 22
    • 37149013755 scopus 로고    scopus 로고
    • Kodkod: A relational model finder
    • E. Torlak and D. Jackson. Kodkod: A relational model finder. In TACAS, pages 632-647, 2007.
    • (2007) TACAS , pp. 632-647
    • Torlak, E.1    Jackson, D.2
  • 23
    • 84860411740 scopus 로고    scopus 로고
    • Maximizing population diversity in single-objective optimization
    • T. Ulrich and L. Thiele. Maximizing population diversity in single-objective optimization. In GECCO, pages 641-648, 2011.
    • (2011) GECCO , pp. 641-648
    • Ulrich, T.1    Thiele, L.2
  • 24
    • 84866622937 scopus 로고    scopus 로고
    • Personalized diversification of search results
    • D. Vallet and P. Castells. Personalized diversification of search results. In SIGIR, pages 841-850, 2012.
    • (2012) SIGIR , pp. 841-850
    • Vallet, D.1    Castells, P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.