|
1 @Article{Lampson:Redell:cacm:1980, |
|
2 author = "B. Lampson and D. Redell", |
|
3 title = "{Experience with processes and monitors in Mesa}", |
|
4 journal = "Communications of the ACM", |
|
5 volume = "23", |
|
6 number = "2", |
|
7 pages = "105--117", |
|
8 month = feb, |
|
9 year = "1980", |
|
10 keywords = "Mesa, processes, monitors", |
|
11 } |
|
12 |
|
13 @Article{journals/tc/ShaRL90, |
|
14 title = "Priority Inheritance Protocols: An Approach to |
|
15 Real-Time Synchronization", |
|
16 author = "S. Liu and R. Rajkumar and J. P. Lehoczky", |
|
17 journal = "IEEE Trans. Computers", |
|
18 year = "1990", |
|
19 number = "9", |
|
20 volume = "39", |
|
21 bibdate = "2011-10-27", |
|
22 bibsource = "DBLP, |
|
23 http://dblp.uni-trier.de/db/journals/tc/tc39.html#ShaRL90", |
|
24 pages = "1175--1185", |
|
25 URL = "http://doi.ieeecomputersociety.org/10.1109/12.57058", |
|
26 } |
|
27 |
|
28 @MISC{yodaiken-july02, |
|
29 author = {V. Yodaiken}, |
|
30 title = {Against Priority Inheritance}, |
|
31 month = July, |
|
32 year = {2002}, |
|
33 howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
|
34 } |
|
35 |
|
36 @MISC{locke-july02, |
|
37 author = {D. Locke}, |
|
38 title = {Priority Inheritance: The Real Story}, |
|
39 month = July, |
|
40 year = {2002}, |
|
41 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, |
|
42 } |
|
43 |
|
44 @MISC{Faria08, |
|
45 author = {J. M. S. Faria}, |
|
46 title = {Formal Development of Solutions for Real-Time Operating Systems with TLA+/TLC}, |
|
47 year = {2008}, |
|
48 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
|
49 } |
|
50 |
|
51 |
|
52 http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf |
|
53 |
|
54 @Article{Reeves-Glenn-1998, |
|
55 title = "Re: What Really Happened on Mars?", |
|
56 author = "G. Reeves", |
|
57 journal = "Risks-Forum Digest", |
|
58 year = "1998", |
|
59 month = "January", |
|
60 number = "58", |
|
61 volume = "19", |
|
62 } |
|
63 |
|
64 @TechReport{dutertre99b, |
|
65 title = "The {Priority Ceiling Protocol}: Formalization and |
|
66 Analysis Using {PVS}", |
|
67 author = "B. Dutertre", |
|
68 month = Oct, |
|
69 year = "1999", |
|
70 institution = "System Design Laboratory, SRI International", |
|
71 address = "Menlo Park, CA", |
|
72 note = "Available at |
|
73 \url{http://www.sdl.sri.com/dsa/publis/prio-ceiling.html}", |
|
74 } |
|
75 |
|
76 @InProceedings{conf/fase/JahierHR09, |
|
77 title = "Synchronous Modeling and Validation of Priority |
|
78 Inheritance Schedulers", |
|
79 author = "E. Jahier and B. Halbwachs and P. |
|
80 Raymond", |
|
81 bibdate = "2009-04-01", |
|
82 bibsource = "DBLP, |
|
83 http://dblp.uni-trier.de/db/conf/fase/fase2009.html#JahierHR09", |
|
84 booktitle = "FASE", |
|
85 booktitle = "Fundamental Approaches to Software Engineering, 12th |
|
86 International Conference, {FASE} 2009, Held as Part of |
|
87 the Joint European Conferences on Theory and Practice |
|
88 of Software, {ETAPS} 2009, York, {UK}, March 22-29, |
|
89 2009. Proceedings", |
|
90 publisher = "Springer", |
|
91 year = "2009", |
|
92 volume = "5503", |
|
93 editor = "Marsha Chechik and Martin Wirsing", |
|
94 ISBN = "978-3-642-00592-3", |
|
95 pages = "140--154", |
|
96 series = "Lecture Notes in Computer Science", |
|
97 URL = "http://dx.doi.org/10.1007/978-3-642-00593-0", |
|
98 } |
|
99 |
|
100 @InProceedings{WellingsBSB07, |
|
101 title = "Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java", |
|
102 author = "A. J. Wellings and A. Burns and O. M. Santos and B. M. Brosgol", |
|
103 publisher = "IEEE Computer Society", |
|
104 year = "2007", |
|
105 booktitle = "Proceedings of the 10th IEEE International Symposium on Object |
|
106 and Component-Oriented Real-Time Distributed Computing", |
|
107 pages = "115--123", |
|
108 } |
|
109 |
|
110 @Article{Wang:2002:SGP, |
|
111 author = "Y. Wang and E. Anceaume and F. Brasileiro and F. |
|
112 Greve and M. Hurfin", |
|
113 title = "Solving the group priority inversion problem in a |
|
114 timed asynchronous system", |
|
115 journal = "IEEE Transactions on Computers", |
|
116 volume = "51", |
|
117 number = "8", |
|
118 pages = "900--915", |
|
119 month = aug, |
|
120 year = "2002", |
|
121 CODEN = "ITCOB4", |
|
122 doi = "http://dx.doi.org/10.1109/TC.2002.1024738", |
|
123 ISSN = "0018-9340 (print), 1557-9956 (electronic)", |
|
124 issn-l = "0018-9340", |
|
125 bibdate = "Tue Jul 5 09:41:56 MDT 2011", |
|
126 bibsource = "http://www.computer.org/tc/; |
|
127 http://www.math.utah.edu/pub/tex/bib/ieeetranscomput2000.bib", |
|
128 URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1024738", |
|
129 acknowledgement = "Nelson H. F. Beebe, University of Utah, Department |
|
130 of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake |
|
131 City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 |
|
132 801 581 4148, e-mail: \path|beebe@math.utah.edu|, |
|
133 \path|beebe@acm.org|, \path|beebe@computer.org| |
|
134 (Internet), URL: |
|
135 \path|http://www.math.utah.edu/~beebe/|", |
|
136 fjournal = "IEEE Transactions on Computers", |
|
137 doi-url = "http://dx.doi.org/10.1109/TC.2002.1024738", |
|
138 } |
|
139 |
|
140 @Article{journals/rts/BabaogluMS93, |
|
141 title = "A Formalization of Priority Inversion", |
|
142 author = "{\"O} Babaoglu and K. Marzullo and F. B. Schneider", |
|
143 journal = "Real-Time Systems", |
|
144 year = "1993", |
|
145 number = "4", |
|
146 volume = "5", |
|
147 bibdate = "2011-06-03", |
|
148 bibsource = "DBLP, |
|
149 http://dblp.uni-trier.de/db/journals/rts/rts5.html#BabaogluMS93", |
|
150 pages = "285--303", |
|
151 URL = "http://dx.doi.org/10.1007/BF01088832", |
|
152 } |