-
2
-
-
33646800850
-
The Synchronous Languages Twelve Years Later
-
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone, "The Synchronous Languages Twelve Years Later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83, 2003.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.1
, pp. 64-83
-
-
Benveniste, A.1
Caspi, P.2
Edwards, S.3
Halbwachs, N.4
Guernic, P.L.5
de Simone, R.6
-
3
-
-
33744523955
-
The synchronous hypothesis and synchronous languages
-
R. Zurawski, Ed, CRC Press
-
D. Potop-Butucaru, R. de Simone, and J.-P. Talpin, "The synchronous hypothesis and synchronous languages," in The Embedded Systems Handbook, R. Zurawski, Ed., 2005, CRC Press.
-
(2005)
The Embedded Systems Handbook
-
-
Potop-Butucaru, D.1
de Simone, R.2
Talpin, J.-P.3
-
5
-
-
0035441059
-
The theory of latency-insensitive design
-
L. Carloni, K. McMillan, and A. Sangiovanni-Vincentelli, "The theory of latency-insensitive design," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, no. 9, pp. 1059-1076, 2001.
-
(2001)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.20
, Issue.9
, pp. 1059-1076
-
-
Carloni, L.1
McMillan, K.2
Sangiovanni-Vincentelli, A.3
-
6
-
-
0024698939
-
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
-
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
-
8
-
-
4644317292
-
Formal refinement checking in a systemlevel design methodology
-
J.-P. Talpin, P. L. Guernic, S. K. Shukla, R. Gupta, and F. Doucet, "Formal refinement checking in a systemlevel design methodology," Fundamenta Informaticae, vol. 62, no. 2, pp. 243-273, 2004.
-
(2004)
Fundamenta Informaticae
, vol.62
, Issue.2
, pp. 243-273
-
-
Talpin, J.-P.1
Guernic, P.L.2
Shukla, S.K.3
Gupta, R.4
Doucet, F.5
-
9
-
-
85047675423
-
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
-
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
-
11
-
-
33744517553
-
Concurrency in synchronous systems
-
D. Potop-Butucaru, B. Caillaud, and A. Benveniste, "Concurrency in synchronous systems," Formal Methods in System Design, vol. 28, no. 2, pp. 111-130, 2006.
-
(2006)
Formal Methods in System Design
, vol.28
, Issue.2
, pp. 111-130
-
-
Potop-Butucaru, D.1
Caillaud, B.2
Benveniste, A.3
-
12
-
-
0032594215
-
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
-
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
-
14
-
-
2942633331
-
Handshake protocols for de-synchronization
-
Crete, Greece
-
I. Blunno, J. Cortadella, A. Kondratyev, L. Lavagno, K. Lwin, and C. Sotiriou, "Handshake protocols for de-synchronization," in Proceedings Async04, Crete, Greece, 2004, pp. 149-158.
-
(2004)
Proceedings Async04
, pp. 149-158
-
-
Blunno, I.1
Cortadella, J.2
Kondratyev, A.3
Lavagno, L.4
Lwin, K.5
Sotiriou, C.6
-
15
-
-
84978982527
-
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
-
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
-
18
-
-
0043222261
-
-
Springer
-
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev, Logic Synthesis of Asynchronous Controllers and Interfaces. Springer, 2002.
-
(2002)
Logic Synthesis of Asynchronous Controllers and Interfaces
-
-
Cortadella, J.1
Kishinevsky, M.2
Kondratyev, A.3
Lavagno, L.4
Yakovlev, A.5
-
19
-
-
0015995299
-
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
-
20
-
-
0033078504
-
Automatic synthesis of extended burst-mode circuits
-
feb
-
K. Yun and D. Dill, "Automatic synthesis of extended burst-mode circuits," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 2, pp. 101-132, feb. 1999.
-
(1999)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.18
, Issue.2
, pp. 101-132
-
-
Yun, K.1
Dill, D.2
-
21
-
-
0024664322
-
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
-
22
-
-
0000873334
-
Petri nets and step transition systems
-
M. Mukund, "Petri nets and step transition systems," International Journal of Foundations of Computer Science, vol. 3, no. 4, pp. 443-478, 1992.
-
(1992)
International Journal of Foundations of Computer Science
, vol.3
, Issue.4
, pp. 443-478
-
-
Mukund, M.1
-
24
-
-
34547269997
-
From weakly endochronous systems to delay-insensitive circuits
-
Verona, Italy
-
S. Dasgupta, D. Potop-Butucaru, B. Caillaud, and A. Yakovlev, "From weakly endochronous systems to delay-insensitive circuits," in Proceedings FMGALS'05, Verona, Italy, 2005.
-
(2005)
Proceedings FMGALS'05
-
-
Dasgupta, S.1
Potop-Butucaru, D.2
Caillaud, B.3
Yakovlev, A.4
-
25
-
-
34547320670
-
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
-
-
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/.
-
-
-
-
27
-
-
0027910778
-
Concrete domains
-
G. Kahn and G. Plotkin, "Concrete domains," Theoretical Compute Science, vol. 121, no. 1&2, pp. 187-277, 1993.
-
(1993)
Theoretical Compute Science
, vol.121
, Issue.1-2
, pp. 187-277
-
-
Kahn, G.1
Plotkin, G.2
|