{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T06:02:14Z","timestamp":1746252134623,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2000.895457","type":"proceedings-article","created":{"date-parts":[[2002,11,11]],"date-time":"2002-11-11T09:56:01Z","timestamp":1037008561000},"page":"177-186","source":"Crossref","is-referenced-by-count":1,"title":["The synthesis of real-time systems from processing graphs"],"prefix":"10.1109","author":[{"given":"S.","family":"Goddard","sequence":"first","affiliation":[]},{"given":"K.","family":"Jeffay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"High Performance DSP Software Using Data-Flow Graph Transformations","author":"?ivojnovi?","year":"1994","journal-title":"Proc ASILOMAR-94"},{"journal-title":"On the Management of Latency in the Synthesis of Real-time Signal Processing Systems from Processing Graphs","year":"1998","author":"goddard","key":"ref10"},{"journal-title":"Graph Performance Analysis Report on the ALFS Worst-Case Concurrency Modes","year":"1998","author":"goddard","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601344"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1998.683188"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809489"},{"journal-title":"Airborne Low Frequency Sonar Subsystem System Requirements Specifications","year":"1991","key":"ref15"},{"journal-title":"System\/Segment Specificaton for the Airborne Low Frequency Sonar (ALFS) (Dipper & Integrated Sonobuoy)","year":"1994","key":"ref16"},{"key":"ref17","first-page":"796","article-title":"The Real-Time Producer\/Consumer Paradigm: A paradigm for the construction of efficient, predictable real-time systems","author":"jeffay","year":"1993","journal-title":"Proc of the ACM\/SIGAPP Sym on Appied Computing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818858"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0114108"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563692"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03521-2","author":"bondy","year":"1976","journal-title":"Graph Theory with Applications"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1996.507899"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1389-2","author":"bhattacharyya","year":"1996","journal-title":"Software Synthesis from Dataflow Graphs"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.4.271"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/12.338100"},{"key":"ref5","article-title":"Ptolemy: A Framework For Simulating and Prototyping Heterogeneous Systems","volume":"4","author":"buck","year":"1994","journal-title":"Int J Computer Simulation"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15670-4_19","article-title":"The ESTEREL Synchronous Programming Language and its Mathematical Semantics","volume":"197","author":"berry","year":"1985","journal-title":"Seminar on Concurrency"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/296333.296338"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1997.622304"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.392979"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995675"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"ref22","first-page":"178","article-title":"Modeling and Scheduling of Dataflow Real-Time Systems","author":"mok","year":"1985","journal-title":"Proc of the IEEE Real-Time Systems Symposium"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/71.372795"},{"journal-title":"Processing Graph Method Specification","year":"1987","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1995.480106"},{"key":"ref25","article-title":"Exploring the design space of a DSP-based mobile satellite receiver","author":"ritz","year":"1994","journal-title":"Proc ICSPAT"}],"event":{"name":"HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering","acronym":"HASE-00","location":"Albuquerque, NM, USA"},"container-title":["Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7194\/19380\/00895457.pdf?arnumber=895457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:56:38Z","timestamp":1497520598000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/895457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/hase.2000.895457","relation":{},"subject":[]}}