𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Output-Determinacy and Asynchronous Circuit Synthesis

✍ Scribed by Khomenko, Victor; Schaefer, Mark; Vogler, Walter

Book ID: 126745617
Publisher: IEEE
Year: 2007
Weight: 272 KB
Category: Article
ISBN-13: 9780769529028
DOI: 10.1109/ACSD.2007.57

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Mapping Applications to Tiled Multiprocessor Embedded Systems

✍ Thiele, Lothar; Bacivarov, Iuliana; Haid, Wolfgang; Huang, Kai 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 633 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Finding Structure in Unstructured Processes: The Case for Process Mining

✍ van der Aalst, W. M. P.; Gunther, C. W. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 789 KB

[IEEE Seventh International Conference o

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

✍ Cassez, Franck; Cassez, Franck; Cassez, Franck; Cassez, Franck; Tripakis, Stavro 📂 Article 📅 2007 🏛 IEEE ⚖ 240 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Automating Synthesis of Asynchronous Communication Mechanisms

✍ Cortadella, J.; Gorgonio, K.; Fei Xia, ; Yakovlev, A. 📂 Article 📅 2005 🏛 IEEE ⚖ 211 KB

[IEEE Fifth International Conference on

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - An Algebra of Pareto Points

✍ Geilen, M.; Basten, T.; Theelen, B.; Otten, R. 📂 Article 📅 2005 🏛 IEEE ⚖ 322 KB

[IEEE 2013 13th International Conference

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

✍ Kuo, Matthew; Roop, Partha; Andalam, Sidharta; Patel, Nitish 📂 Article 📅 2013 🏛 IEEE ⚖ 731 KB