{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:06:07Z","timestamp":1694624767377},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1999]]},"DOI":"10.1109\/32.815328","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"701-721","source":"Crossref","is-referenced-by-count":5,"title":["Statically safe speculative execution for real-time systems"],"prefix":"10.1109","volume":"25","author":[{"given":"M.F.","family":"Younis","sequence":"first","affiliation":[]},{"given":"T.J.","family":"Marlowe","sequence":"additional","affiliation":[]},{"given":"A.D.","family":"Stoyen","sequence":"additional","affiliation":[]},{"given":"G.","family":"Tsai","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"bibe07012","author":"aho","year":"1986","journal-title":"Compilers Principles Techniques and Tools"},{"key":"bibe07013","article-title":"application of compiler-assisted rollback recovery to speculative execution repair","author":"alewine","year":"1993","journal-title":"Proc Conf Hardware and Software Architectures for Fault Tolerance Experiences and Perspectives"},{"key":"bibe07014","first-page":"74","article-title":"logics and models of real-time: a survey","author":"alur","year":"0","journal-title":"Real-Time Theory in Practice"},{"key":"bibe07015","author":"auslander","year":"1990","journal-title":"Real-Time Software for Control Program Examples in C"},{"key":"bibe07016","doi-asserted-by":"publisher","DOI":"10.1145\/800216.806585"},{"key":"bibe07017","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342732"},{"key":"bibe07018","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(96)00005-1"},{"key":"bibe07019","doi-asserted-by":"publisher","DOI":"10.1006\/rtim.1995.1034"},{"key":"bibe070155","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74819"},{"key":"bibe070156","article-title":"compilation support for fine-grained execution time analysis","author":"vrchoticky","year":"1994","journal-title":"Proc ACM SIGPLAN Workshop Language Compiler and Tool Support for Real-Time Systems"},{"key":"bibe070153","doi-asserted-by":"publisher","DOI":"10.1145\/3959.3962"},{"key":"bibe070154","author":"ullman","year":"1982","journal-title":"Principles of database systems"},{"key":"bibe070159","author":"wolfe","year":"1989","journal-title":"Optimizing supercompilers for supercomputers"},{"key":"bibe070157","first-page":"88","article-title":"static analysis of timing properties for distributed real-time programs","author":"wedde","year":"1991","journal-title":"Proc Workshop Real-Time Operating Systems and Software"},{"key":"bibe070158","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113456"},{"key":"bibe070152","doi-asserted-by":"publisher","DOI":"10.1109\/32.748918"},{"key":"bibe070151","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1093\/comjnl\/38.4.319","article-title":"a language for complex real-time systems","volume":"38","author":"stoyenko","year":"1995","journal-title":"The Computer J"},{"key":"bibe070150","doi-asserted-by":"publisher","DOI":"10.1016\/0967-0661(93)92107-F"},{"key":"bibe070142","doi-asserted-by":"publisher","DOI":"10.1109\/71.752782"},{"key":"bibe070143","doi-asserted-by":"publisher","DOI":"10.1016\/0141-9331(95)93086-X"},{"key":"bibe070144","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1991.150653"},{"key":"bibe070145","article-title":"timed perturbation analysis: an approach for non-intrusive monitoring of real tme computations","author":"spezialetti","year":"1994","journal-title":"Proc ACM SIGPLAN Workshop Language Compiler and Tool Support for Real-Time Systems"},{"key":"bibe070146","first-page":"218","article-title":"a schedulability analyzer for real-time euclid","author":"stoyenko","year":"1987","journal-title":"Proc IEEE Real-Time Systems Symp"},{"key":"bibe070147","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380240103"},{"key":"bibe070148","doi-asserted-by":"publisher","DOI":"10.1109\/32.83911"},{"key":"bibe070149","doi-asserted-by":"publisher","DOI":"10.1007\/BF00355297"},{"key":"bibe070114","author":"giardina","year":"1988","journal-title":"Morphological Methods in Image and Signal Processing"},{"key":"bibe070113","doi-asserted-by":"publisher","DOI":"10.1109\/32.387469"},{"key":"bibe070116","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128755"},{"key":"bibe070115","article-title":"optimistic algorithms for distributed transparent process replication","author":"goldberg","year":"1991","journal-title":"\"Optimistic Algorithms for Distributed Transparent Process Replication \""},{"key":"bibe070110","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216654"},{"key":"bibe070141","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75305"},{"key":"bibe070112","doi-asserted-by":"publisher","DOI":"10.2514\/3.20721"},{"key":"bibe070111","doi-asserted-by":"publisher","DOI":"10.1109\/12.88481"},{"key":"bibe070140","article-title":"optimizing interprocess communication for embedded real-time systems","author":"poledna","year":"1996","journal-title":"Proc IEEE 16th Real-Time Systems Symp"},{"key":"bibe070118","first-page":"353","article-title":"temporal proof methodologies for real-time systems","author":"henzinger","year":"1990","journal-title":"Proc 18th Ann ACM Symp Principles of Programming Languages"},{"key":"bibe07011","article-title":"an old-fashioned recipe for real time","author":"abadi","year":"1992","journal-title":"Research Report 91"},{"key":"bibe070117","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342727"},{"key":"bibe070119","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"bibe070123","article-title":"optimistic concurrency with rollback: an alternative when compile-time parallelization fails","author":"katz","year":"1990","journal-title":"Proc Workshop Parallelism in the Presence of Pointers and Dynamically-Allocated Objects"},{"key":"bibe070122","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"bibe070121","year":"1990","journal-title":"IEEE Carrier Sense Multiple Access with Collision Detection (csma\/cd) Access Method and Physical Layer Specifications"},{"key":"bibe070120","first-page":"80","article-title":"scheduling with compiler transformations: the tcel approach","author":"hong","year":"1993","journal-title":"Proc 11th IEEE Workshop on Real-Time Operating Systems and Software"},{"key":"bibe070127","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"bibe070126","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178252"},{"key":"bibe070125","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313049"},{"key":"bibe070124","doi-asserted-by":"publisher","DOI":"10.1109\/SUPERC.1990.130048"},{"key":"bibe070129","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342726"},{"key":"bibe070128","first-page":"235","article-title":"a safe approximate algorithm for pointer-induced aliasing","volume":"27","author":"landi","year":"1992","journal-title":"Proc ACM SIGPLAN 92 Conf Programming Language Design and Implementation (PLDI 92)"},{"key":"bibe070164","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1995.479357"},{"key":"bibe070130","doi-asserted-by":"publisher","DOI":"10.1109\/ICSI.1992.217244"},{"key":"bibe070161","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342725"},{"key":"bibe070132","article-title":"predicting instruction cache behavior","author":"mueller","year":"1994","journal-title":"Proc ACM SIGPLAN Workshop Languages Compilers and Tools for Real-Time Systems"},{"key":"bibe070160","author":"younis","year":"1996"},{"key":"bibe070131","first-page":"74","article-title":"evaluating tight execution time bounds of programs by annotations","author":"mok","year":"1989","journal-title":"Proc Workshop Real-Time Operating Systems and Software"},{"key":"bibe070163","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00034-X"},{"key":"bibe070134","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160358"},{"key":"bibe070162","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1996.558328"},{"key":"bibe070133","article-title":"portable execution time analysis for risc processors","author":"narasimhan","year":"1994","journal-title":"Proc ACM SIGPLAN Workshop Language Compiler and Tool Support for Real-Time Systems"},{"key":"bibe070136","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088695"},{"key":"bibe070135","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143223"},{"key":"bibe070138","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357177"},{"key":"bibe070137","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52592-0_54"},{"key":"bibe070139","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088696"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/17655\/00815328.pdf?arnumber=815328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:51Z","timestamp":1638216351000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/815328\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":64,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/32.815328","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}