source: doc/papers/concurrency/annex/local.bib@ affb51b

ADT ast-experimental
Last change on this file since affb51b was 1f9a4d0, checked in by Peter A. Buhr <pabuhr@…>, 5 years ago

changes for SP&E proofs of concurrency paper

  • Property mode set to 100644
File size: 5.0 KB
Line 
1% Predefined journal names:
2% acmcs: Computing Surveys acta: Acta Infomatica
3% cacm: Communications of the ACM
4% ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
5% ieeese: IEEE Trans. on Soft. Eng. ieeetc: IEEE Trans. on Computers
6% ieeetcad: IEEE Trans. on Computer-Aided Design of Integrated Circuits
7% ipl: Information Processing Letters jacm: Journal of the ACM
8% jcss: J. Computer & System Sciences scp: Science of Comp. Programming
9% sicomp: SIAM J. on Computing tocs: ACM Trans. on Comp. Systems
10% tods: ACM Trans. on Database Sys. tog: ACM Trans. on Graphics
11% toms: ACM Trans. on Math. Software toois: ACM Trans. on Office Info. Sys.
12% toplas: ACM Trans. on Prog. Lang. & Sys.
13% tcs: Theoretical Computer Science
14@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
15@string{ieeese="IEEE Transactions on Software Engineering"}
16@string{spe="Software---\-Practice and Experience"}
17@string{sigplan="SIGPLAN Notices"}
18@string{joop="Journal of Object-Oriented Programming"}
19@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
20@string{osr="Operating Systems Review"}
21@string{pldi="Programming Language Design and Implementation"}
22
23@inproceedings{Hochstein05,
24 keywords = {Application software; Computer aided software engineering; Concurrent computing; Educational
25 institutions; High performance computing; Humans; Instruments; Productivity; Programming profession;
26 Software engineering},
27 author = {Lorin Hochstein and Jeff Carver and Forrest Shull and Sima Asgari and Victor Basili and Jeffrey K. Hollingsworth and Marvin V. Zelkowitz},
28 title = {Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers},
29 booktitle = {Supercomputing, 2005. Proceedings of the ACM/IEEE SC 2005 Conference},
30 publisher = {IEEE},
31 location = {Seattle, Washington, U.S.A.},
32 month = nov,
33 year = {2005},
34 pages = {35-35},
35}
36
37@article{Chicken,
38 keywords = {Chicken},
39 author = {Doug Zongker},
40 title = {Chicken Chicken Chicken: Chicken Chicken},
41 year = 2006
42}
43
44@misc{TBB,
45 keywords = {Intel, TBB},
46 key = {TBB},
47 title = {Thread Building Blocks},
48 howpublished= {Intel, \url{https://www.threadingbuildingblocks.org}},
49 optnote = {Accessed: 2018-3},
50}
51
52@manual{www-cfa,
53 key = {CFA},
54 keywords = {Cforall},
55 author = {C$\forall$},
56 title = {C$\forall$ Programmming Language},
57 note = {\url{https://plg.uwaterloo.ca/~cforall}},
58}
59
60@manual{Cpp-Transactions,
61 keywords = {C++, Transactional Memory},
62 title = {Tech. Spec. for C++ Extensions for Transactional Memory {ISO/IEC} {TS} 19841:2015},
63 organization= {International Standard Organization},
64 address = {Geneva, Switzerland},
65 year = 2015,
66 note = {\href{https://www.iso.org/standard/66343.html}{https://\-www.iso.org/\-standard/\-66343.html}},
67}
68
69@misc{BankTransfer,
70 key = {Bank Transfer},
71 keywords = {Bank Transfer},
72 title = {Bank Account Transfer Problem},
73 howpublished = {Wiki Wiki Web, \url{http://wiki.c2.com/?BankAccountTransferProblem}},
74 year = 2010
75}
76
77@misc{2FTwoHardThings,
78 keywords = {Hard Problem},
79 title = {TwoHardThings},
80 author = {Martin Fowler},
81 howpublished= "\url{https://martinfowler.com/bliki/TwoHardThings.html}",
82 year = 2009
83}
84
85@article{IntrusiveData,
86 title = {Intrusive Data Structures},
87 author = {Jiri Soukup},
88 journal = {CppReport},
89 year = 1998,
90 month = May,
91 volume = {10/No5.},
92 page = 22
93}
94
95@article{Herlihy93,
96 author = {Herlihy, Maurice and Moss, J. Eliot B.},
97 title = {Transactional memory: architectural support for lock-free data structures},
98 journal = {SIGARCH Comput. Archit. News},
99 issue_date = {May 1993},
100 volume = {21},
101 number = {2},
102 month = may,
103 year = {1993},
104 pages = {289--300},
105 numpages = {12},
106 publisher = {ACM},
107 address = {New York, NY, USA},
108}
109
110@manual{affinityLinux,
111 key = {TBB},
112 title = "{Linux man page - sched\_setaffinity(2)}",
113 note = {\href{https://man7.org/linux/man-pages/man2/sched_setaffinity.2.html}{https://\-man7.org/\-linux/man-pages/\-man2/sched\_setaffinity.2.html}},
114}
115
116@manual{affinityWindows,
117 title = "{Windows documentation - SetThreadAffinityMask function}",
118 note = {\href{https://docs.microsoft.com/en-us/windows/win32/api/winbase/nf-winbase-setthreadaffinitymask}{https://\-docs.microsoft.com/\-en-us/\-windows/\-win32/api/\-winbase/\-nf-winbase-setthreadaffinitymask}}
119}
120
121@manual{switchToWindows,
122 title = "{Windows (vs.85) - SwitchToFiber function}"
123}
124
125@manual{affinityFreebsd,
126 title = "{FreeBSD General Commands Manual - CPUSET(1)}"
127}
128
129@manual{affinityNetbsd,
130 title = "{NetBSD Library Functions Manual - AFFINITY(3)}"
131}
132
133@manual{affinityMacosx,
134 title = "{Affinity API Release Notes for OS X v10.5}"
135}
136
137@misc{NodeJs,
138 title = "{Node.js}",
139 howpublished= "\url{https://nodejs.org/en/}",
140}
141
142@misc{SpringMVC,
143 title = "{Spring Web MVC}",
144 howpublished= "\url{https://docs.spring.io/spring/docs/current/spring-framework-reference/web.html}",
145}
146
147@misc{Django,
148 title = "{Django}",
149 howpublished= "\url{https://www.djangoproject.com/}",
150}
Note: See TracBrowser for help on using the repository browser.