Name
Abstract | ||
|---|---|---|
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The parad... |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1109/JPROC.2002.805826 | Proceedings of the IEEE |
Keywords | Field | DocType |
Natural languages,Design methodology,Synchronization,Acoustical engineering,Design engineering,Commercialization,Concurrent computing,Centralized control,Control systems,Costs | Specification language,Synchronization,Programming language,Computer science,Design methods,Natural language,Synchronous programming language,High-level programming language,Esterel,Formal methods | Journal |
Volume | Issue | ISSN |
91 | 1 | 0018-9219 |
Citations | PageRank | References |
370 | 16.32 | 63 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Albert Benveniste | 1 | 2831 | 299.20 |
| Paul Caspi | 2 | 2129 | 183.78 |
| Stephen A. Edwards | 3 | 1443 | 109.65 |
| Nicolas Halbwachs | 4 | 3957 | 426.43 |
| Paul Le Guernic | 5 | 1006 | 80.21 |
| Robert de Simone | 6 | 1237 | 104.97 |