equal
deleted
inserted
replaced
|
1 |
|
2 @Book{Paulson96, |
|
3 author = {L.~C.~Paulson}, |
|
4 title = {{ML} for the {W}orking {P}rogrammer}, |
|
5 publisher = {Cambridge University Press}, |
|
6 year = {1996} |
|
7 } |
|
8 |
|
9 |
|
10 @Manual{LINUX, |
|
11 author = {S.~Rostedt}, |
|
12 title = {{R}eal-{T}ime {G}roup {S}cheduling}, |
|
13 note = {Linux Kernel Distribution at kernel.org, Documentation/scheduler/sched-rt-group.txt} |
|
14 } |
1 |
15 |
2 @Misc{PINTOS, |
16 @Misc{PINTOS, |
3 title = {\url{http://www.stanford.edu/class/cs140/projects/}}, |
17 author = {B.~Pfaff}, |
|
18 title = {{PINTOS}}, |
|
19 note = {\url{http://www.stanford.edu/class/cs140/projects/}}, |
4 } |
20 } |
5 |
21 |
6 |
22 |
7 @inproceedings{Haftmann08, |
23 @inproceedings{Haftmann08, |
8 author = {F.~Haftmann and M.~Wenzel}, |
24 author = {F.~Haftmann and M.~Wenzel}, |