source: rtems-docs/common/refs.bib @ 0456ee7

5
Last change on this file since 0456ee7 was 0456ee7, checked in by Sebastian Huber <sebastian.huber@…>, on 01/25/17 at 07:36:23

Fix some reference titles
  • Property mode set to 100644
File size: 7.2 KB
Line 
1% Use <AUTHOR>:<YEAR>:<TOPIC> for the reference labels.
2% Sort lexicographically by (YEAR, AUTHOR, TOPIC).
3@inproceedings{Varghese:1987:TimerWheel,
4  author      = {Varghese, G. and Lauck, T.},
5  title       = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}},
6  booktitle   = {Proceedings of the 11th ACM Symposium on Operating Systems Principles},
7  year        = {1987},
8  url         = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf},
9}
10@techreport{Varghese:1995:BSDCallout,
11  author      = {Varghese, G. and Costello, A.},
12  title       = {{Redesigning the BSD callout and timer facilities}},
13  institution = {Washington University in St. Louis},
14  note        = {WUCS-95-23},
15  year        = {1987},
16  month       = {November},
17  url         = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps},
18}
19@article{Blumofe:1999:WS,
20  author      = {Blumofe, Robert D. and Leiserson, Charles E.},
21  title       = {{Scheduling multithreaded computations by work stealing}},
22  journal     = {Journal of the ACM},
23  year        = 1999,
24  pages       = {720-748},
25  volume      = 46,
26}
27@inproceedings{Franke:2002:Futex,
28  author      = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew},
29  title       = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}},
30  booktitle   = {Proceedings of the Ottawa Linux Symposium 2002},
31  pages       = {479-495},
32  year        = {2002},
33  url         = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf},
34}
35@misc{Kamp:2002:Timecounters,
36  author      = {Kamp, Poul-Henning},
37  title       = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}},
38  year        = {2002},
39  url         = {http://www.freebsd.dk/pubs/timecounter.pdf},
40}
41@inproceedings{Robertson:2003:ULE,
42  author      = {Robertson, Jeff},
43  title       = {{ULE: A Modern Scheduler For FreeBSD}},
44  booktitle   = {Proceedings of BSDCon ’03},
45  year        = {2003},
46  url         = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf},
47}
48@book{Lookheed:2005:JSFAV,
49  title       = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}},
50  year        = {2005},
51  month       = {December},
52  publisher   = {Lockheed Martin Corporation},
53  url         = {http://www.stroustrup.com/JSF-AV-rules.pdf},
54}
55@inproceedings{Gleixner:2006:Hrtimers,
56  author      = {Gleixner, Thomas and Niehaus, Douglas},
57  title       = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}},
58  booktitle   = {Proceedings of the Linux Symposium},
59  pages       = {333-346},
60  year        = {2006},
61  url         = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf},
62}
63@manual{Drepper:2007:Memory,
64  author      = {Drepper, Ulrich},
65  title       = {{What Every Programmer Should Know About Memory}},
66  year        = {2007},
67  url         = {http://www.akkadia.org/drepper/cpumemory.pdf},
68}
69@inproceedings{Leijen:2009:TPL,
70  author      = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian},
71  title       = {{The Design of a Task Parallel Library}},
72  booktitle   = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)},
73  year        = {2009},
74  month       = {September},
75  publisher   = {ACM SIGPLAN},
76  url         = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf},
77  address     = {Atlanta, FL},
78}
79@phdthesis{Brandenburg:2011:SL,
80  author      = {Brandenburg, Björn B.},
81  title       = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}},
82  school      = {The University of North Carolina at Chapel Hill},
83  year        = {2011},
84  url         = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf},
85}
86@techreport{Boehm:2012:Seqlock,
87  author      = {Boehm, Hans-J.},
88  title       = {{Can Seqlocks Get Along With Programming Language Memory Models?}},
89  institution = {HP Laboratories},
90  note        = {HPL-2012-68},
91  year        = {2012},
92  month       = {June},
93  url         = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf}
94}
95@techreport{Halpern:2012:CilkN3409,
96  author      = {Halpern, Pablo},
97  title       = {{Strict Fork-Join Parallelism}},
98  institution = {Intel, Corp.},
99  note        = {N3409},
100  year        = {2012},
101  month       = {September},
102  url         = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf}
103}
104@book{MISRA:2012:C,
105  title       = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}},
106  year        = {2013},
107  month       = {March},
108  isbn        = {978-1906400101},
109  publisher   = {MISRA Limited},
110}
111@book{Williams:2012:CA,
112  author      = {Williams, Anthony}},
113  title       = {{C++ Concurrency in Action – Practical Multithreading}},
114  year        = {2012},
115  isbn        = {978-1933988771},
116  publisher   = {Manning Publications Co},
117}
118@techreport{Halpern:2013:CilkN3557,
119  author      = {Halpern, Pablo},
120  title       = {{Considering a Fork-Join Parallelism Library}},
121  institution = {Intel, Corp.},
122  note        = {N3557},
123  year        = {2013},
124  month       = {March},
125  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf}
126}
127@inproceedings{Brandenburg:2013:OMIP,
128  author      = {Brandenburg, Björn B.},
129  title       = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}},
130  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
131  pages       = {292-302},
132  year        = {2013},
133  url         = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf},
134}
135@inproceedings{Burns:2013:MrsP,
136  author      = {Burns, A. and Wellings, A. J.},
137  title       = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}},
138  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
139  year        = {2013},
140  url         = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf},
141}
142@manual{Drepper:2013:TLS,
143  author      = {Drepper, Ulrich},
144  title       = {{ELF Handling For Thread-Local Storage}},
145  year        = {2013},
146  url         = {http://www.akkadia.org/drepper/tls.pdf},
147}
148@book{PRQA:2013:HIC,
149  title       = {{High Integrity C++ Coding Standard Version 4.0}},
150  year        = {2013},
151  month       = {October},
152  publisher   = {Programming Research Ltd},
153  url         = {http://www.codingstandard.com/},
154}
155@techreport{Robinson:2014:CilkN3872,
156  author      = {Robinson, Arch},
157  title       = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}},
158  institution = {Intel, Corp.},
159  note        = {N3872},
160  year        = {2014},
161  month       = {January},
162  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf}
163}
164@inproceedings{Catellani:2015:MrsP,
165  author      = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
166  title       = {{Challenges in the Implementation of MrsP}},
167  booktitle   = {Reliable Software Technologies - Ada-Europe 2015},
168  pages       = {179-195},
169  year        = {2015},
170}
171@book{CERT:2016:CCS,
172  title       = {{SEI CERT C Coding Standard}},
173  year        = {2016},
174  publisher   = {Carnegie Mellon University},
175}
Note: See TracBrowser for help on using the repository browser.