메뉴 건너뛰기




Volumn 78, Issue 1, 2007, Pages 131-159

Correct-by-construction asynchronous implementation of modular synchronous specifications

Author keywords

Asynchronous systems; Endochronous systems; Globally asynchronous; Kahn processes; Locally synchronous (GALS) architectures; Semantics preservation; Synchronous systems

Indexed keywords

CONSTRAINED OPTIMIZATION; DISTRIBUTED PARAMETER CONTROL SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SYNCHRONIZATION;

EID: 34547355660     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (21)

References (27)
  • 6
    • 0024698939 scopus 로고    scopus 로고
    • A proof of the Kahn principle for input/output automata
    • N. Lynch and E. Stark, "A proof of the Kahn principle for input/output automata," Information and Computation, vol. 82, no. 1, pp. 81-92, 7 1989.
    • Information and Computation , vol.82 , Issue.1
    • Lynch, N.1    Stark, E.2
  • 7
    • 0032594215 scopus 로고    scopus 로고
    • Automatic distribution of reactive systems for asynchronous networks of processors
    • P. Caspi, A. Girault, and D. Pilaud, "Automatic distribution of reactive systems for asynchronous networks of processors," IEEE Trans. on Software Engineering, vol. 25, no. 3, pp. 416-427, 1999.
    • (1999) IEEE Trans. on Software Engineering , vol.25 , Issue.3 , pp. 416-427
    • Caspi, P.1    Girault, A.2    Pilaud, D.3
  • 9
    • 85047675423 scopus 로고    scopus 로고
    • Compositionality in dataflow synchronous languages: Specification and distributed code generation
    • A. Benveniste, B. Caillaud, and P. L. Guernic, "Compositionality in dataflow synchronous languages: Specification and distributed code generation," Information and Computation, vol. 163, no. 1, pp. 125-171, 2000.
    • (2000) Information and Computation , vol.163 , Issue.1 , pp. 125-171
    • Benveniste, A.1    Caillaud, B.2    Guernic, P.L.3
  • 10
    • 3042643298 scopus 로고    scopus 로고
    • Generalized latency insensitive systems for gals architectures
    • Pisa, Italy
    • M. Singh and M. Theobald, "Generalized latency insensitive systems for gals architectures," in Proceedings FMGALS 2003, Pisa, Italy, 2003.
    • (2003) Proceedings FMGALS 2003
    • Singh, M.1    Theobald, M.2
  • 12
    • 0032594215 scopus 로고    scopus 로고
    • Automatic distribution of reactive systems for asynchronous networks of processors
    • P. Caspi, A. Girault, and D. Pilaud, "Automatic distribution of reactive systems for asynchronous networks of processors," IEEE Transactions on Software Engineering, vol. 25, no. 3, pp. 416-427, 1999.
    • (1999) IEEE Transactions on Software Engineering , vol.25 , Issue.3 , pp. 416-427
    • Caspi, P.1    Girault, A.2    Pilaud, D.3
  • 13
    • 84866694666 scopus 로고    scopus 로고
    • From algorithm and architecture specifications to automatic generation of distributed real-time executives: A seamless flow of graphs transformations
    • Mont Saint-Michel, France
    • T. Grandpierre and Y. Sorel, "From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations," in Proceedings MEMOCODE'03, Mont Saint-Michel, France, 2003.
    • (2003) Proceedings MEMOCODE'03
    • Grandpierre, T.1    Sorel, Y.2
  • 15
    • 84978982527 scopus 로고
    • A fundamental theorem of asynchronous parallel computation
    • R. Keller, "A fundamental theorem of asynchronous parallel computation," Lecture Notes in Computer Science, vol. 24, pp. 103-112, 1975.
    • (1975) Lecture Notes in Computer Science , vol.24 , pp. 103-112
    • Keller, R.1
  • 16
    • 0022920182 scopus 로고
    • A formal model for defining and classifying delay-insensitive circuits and systems
    • J. T. Udding, "A formal model for defining and classifying delay-insensitive circuits and systems," Distributed Computing, vol. 1, no. 4, pp. 197-204, 1986.
    • (1986) Distributed Computing , vol.1 , Issue.4 , pp. 197-204
    • Udding, J.T.1
  • 19
    • 0015995299 scopus 로고
    • Towards a theory of speed-independent modules
    • January
    • R. Keller, "Towards a theory of speed-independent modules," IEEE Transactions on Computers, vol. C-23, no. 1, pp. 21-33, January 1974.
    • (1974) IEEE Transactions on Computers , vol.C-23 , Issue.1 , pp. 21-33
    • Keller, R.1
  • 21
    • 0024664322 scopus 로고
    • Concurrent transition systems
    • E. Stark, "Concurrent transition systems," Theoretical Computer Science, vol. 64, no. 3, pp. 221-269, 1989.
    • (1989) Theoretical Computer Science , vol.64 , Issue.3 , pp. 221-269
    • Stark, E.1
  • 25
    • 34547320670 scopus 로고    scopus 로고
    • Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
    • Jersey City, NJ, USA
    • J.-P. Talpin, D. Potop-Butucaru, J. Ouy, and B. Caillaud, "Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications," in Proceedings EMSOFT'05, Jersey City, NJ, USA, 2005.
    • (2005) Proceedings EMSOFT'05
    • Talpin, J.-P.1    Potop-Butucaru, D.2    Ouy, J.3    Caillaud, B.4
  • 26
    • 34547354628 scopus 로고    scopus 로고
    • G. Berry, The constructive semantics of pure Esterel, July 1999, draft book available at http://www.esterel-technologies.com/.
    • G. Berry, "The constructive semantics of pure Esterel," July 1999, draft book available at http://www.esterel-technologies.com/.


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