aurels-rbib 1.1 → 1.2
Sign up to get free protection for your applications and to get access to all the features.
- data/README +17 -1
- data/lib/bibtex.rb +9 -0
- metadata +2 -15
- data/examples/example.bib +0 -753
- data/examples/glom_citeulike.rb +0 -21
- data/examples/tara_no_url.rb +0 -14
- data/lib/bibtex/bibliography.rb +0 -45
- data/lib/bibtex/entry.rb +0 -70
- data/lib/bibtex/field.rb +0 -17
- data/lib/bibtex/lexer.rb +0 -123
- data/lib/bibtex/parser.rb +0 -116
- data/run_unit_tests.rb +0 -12
- data/test/test_bibliography.rb +0 -76
- data/test/test_entry.rb +0 -70
- data/test/test_field.rb +0 -17
- data/test/test_lexer.rb +0 -116
- data/test/test_parser.rb +0 -27
data/README
CHANGED
@@ -1,4 +1,20 @@
|
|
1
1
|
Parser for BibTeX files written in Ruby. No dependencies (except Test::Unit if
|
2
2
|
you need to run the tests).
|
3
3
|
|
4
|
-
By Nick Gasson (http://www.doof.me.uk)
|
4
|
+
By Nick Gasson (http://www.doof.me.uk)
|
5
|
+
|
6
|
+
Example of usage:
|
7
|
+
|
8
|
+
require 'rubygems'
|
9
|
+
require 'bibtex'
|
10
|
+
|
11
|
+
BibTeX::Parser.parse('references.bib').map do |entry|
|
12
|
+
puts entry[:Title]
|
13
|
+
puts entry[:Year]
|
14
|
+
entry
|
15
|
+
end
|
16
|
+
|
17
|
+
Installation:
|
18
|
+
|
19
|
+
gem sources -a http://gems.github.com
|
20
|
+
gem install aurels-rbib
|
data/lib/bibtex.rb
ADDED
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: aurels-rbib
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: "1.
|
4
|
+
version: "1.2"
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Nick Gasson
|
@@ -24,20 +24,7 @@ extra_rdoc_files: []
|
|
24
24
|
|
25
25
|
files:
|
26
26
|
- README
|
27
|
-
-
|
28
|
-
- run_unit_tests.rb
|
29
|
-
- examples/example.bib
|
30
|
-
- examples/tara_no_url.rb
|
31
|
-
- lib/bibtex/bibliography.rb
|
32
|
-
- lib/bibtex/entry.rb
|
33
|
-
- lib/bibtex/field.rb
|
34
|
-
- lib/bibtex/lexer.rb
|
35
|
-
- lib/bibtex/parser.rb
|
36
|
-
- test/test_bibliography.rb
|
37
|
-
- test/test_entry.rb
|
38
|
-
- test/test_field.rb
|
39
|
-
- test/test_lexer.rb
|
40
|
-
- test/test_parser.rb
|
27
|
+
- lib/bibtex.rb
|
41
28
|
has_rdoc: false
|
42
29
|
homepage: http://github.com/aurels/rbib
|
43
30
|
post_install_message:
|
data/examples/example.bib
DELETED
@@ -1,753 +0,0 @@
|
|
1
|
-
@book{clr2,
|
2
|
-
author = {Cormen, Thomas H. and Leiserson, Charles E. and Rivest, Ronald L. and Stein, Clifford },
|
3
|
-
citeulike-article-id = {2722440},
|
4
|
-
edition = {Second},
|
5
|
-
keywords = {algorithms},
|
6
|
-
posted-at = {2008-04-26 20:50:39},
|
7
|
-
priority = {2},
|
8
|
-
publisher = {MIT Press},
|
9
|
-
title = {Introduction to Algorithms},
|
10
|
-
year = {2001}
|
11
|
-
}
|
12
|
-
|
13
|
-
|
14
|
-
|
15
|
-
@techreport{heys01,
|
16
|
-
author = {Heys, H. M. },
|
17
|
-
citeulike-article-id = {2721821},
|
18
|
-
institution = {Centre for Applied Cryptographic Research, Department of Combinatorics and Optimization, University of Waterloo},
|
19
|
-
keywords = {cryptography},
|
20
|
-
month = March,
|
21
|
-
posted-at = {2008-04-26 15:01:56},
|
22
|
-
priority = {0},
|
23
|
-
title = {A Tutorial on Linear and Differential Cryptanalysis},
|
24
|
-
year = 2001
|
25
|
-
}
|
26
|
-
|
27
|
-
|
28
|
-
|
29
|
-
@article{petri89,
|
30
|
-
author = {Murata, Tadao },
|
31
|
-
citeulike-article-id = {2697334},
|
32
|
-
journal = {Proceedings of the IEEE},
|
33
|
-
keywords = {semantics},
|
34
|
-
month = {April},
|
35
|
-
number = {4},
|
36
|
-
pages = {541--580},
|
37
|
-
posted-at = {2008-04-21 18:28:17},
|
38
|
-
priority = {2},
|
39
|
-
title = {Petri nets: Properties, analysis and applications},
|
40
|
-
volume = {77},
|
41
|
-
year = {1989}
|
42
|
-
}
|
43
|
-
|
44
|
-
|
45
|
-
|
46
|
-
@book{sem07,
|
47
|
-
author = {Nielson, Hanne R. and Nielson, Flemming },
|
48
|
-
citeulike-article-id = {2696993},
|
49
|
-
keywords = {semantics},
|
50
|
-
posted-at = {2008-04-21 16:55:04},
|
51
|
-
priority = {2},
|
52
|
-
publisher = {Springer},
|
53
|
-
title = {Semantics with Applications: An Appetizer},
|
54
|
-
year = {2007}
|
55
|
-
}
|
56
|
-
|
57
|
-
|
58
|
-
|
59
|
-
@inproceedings{add02,
|
60
|
-
author = {Bass, L. and Klein, M. and Bachmann, F. },
|
61
|
-
booktitle = {Software Product-Family Engineering: 4th International Workshop},
|
62
|
-
citeulike-article-id = {2693208},
|
63
|
-
keywords = {sw-arch},
|
64
|
-
posted-at = {2008-04-20 17:04:21},
|
65
|
-
priority = {1},
|
66
|
-
publisher = {Springer},
|
67
|
-
title = {Quality Attribute Design Primitives and the Attribute Driven Design Method},
|
68
|
-
year = {2002}
|
69
|
-
}
|
70
|
-
|
71
|
-
|
72
|
-
|
73
|
-
@inproceedings{cbam03,
|
74
|
-
author = {Moore, M. and Kaman, R. and Klein, M. and Asundi, J. },
|
75
|
-
booktitle = {25th International Conference on Software Engineering},
|
76
|
-
citeulike-article-id = {2693201},
|
77
|
-
keywords = {sw-arch},
|
78
|
-
pages = {557--562},
|
79
|
-
posted-at = {2008-04-20 17:02:20},
|
80
|
-
priority = {1},
|
81
|
-
title = {Quantifying the Value of Architecture Design Decisions: Lessons from the Field},
|
82
|
-
year = {2003}
|
83
|
-
}
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
@article{kaz99,
|
88
|
-
author = {Kazman, Rick and Carri\`{e}re1, Jeromy S. },
|
89
|
-
citeulike-article-id = {2693195},
|
90
|
-
journal = {Automated Software Engineering},
|
91
|
-
keywords = {sw-arch},
|
92
|
-
month = {April},
|
93
|
-
number = {2},
|
94
|
-
pages = {107--138},
|
95
|
-
posted-at = {2008-04-20 16:57:46},
|
96
|
-
priority = {1},
|
97
|
-
title = {Playing Detective: Reconstructing Software Architecture from Available Evidence},
|
98
|
-
volume = {6},
|
99
|
-
year = {1999}
|
100
|
-
}
|
101
|
-
|
102
|
-
|
103
|
-
|
104
|
-
@book{hof99,
|
105
|
-
author = {Hofmeister, Christine and Nord, Robert and Soni, Dilip },
|
106
|
-
citeulike-article-id = {2690598},
|
107
|
-
keywords = {sw-arch},
|
108
|
-
posted-at = {2008-04-19 13:15:58},
|
109
|
-
priority = {1},
|
110
|
-
publisher = {Addison-Wesley},
|
111
|
-
title = {Applied software architecture},
|
112
|
-
year = {1999}
|
113
|
-
}
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
@book{sei03,
|
118
|
-
author = {Bass, Len and Clements, Paul and Kazman, Rick },
|
119
|
-
citeulike-article-id = {2688011},
|
120
|
-
edition = {Second},
|
121
|
-
keywords = {sw-arch},
|
122
|
-
posted-at = {2008-04-18 14:57:36},
|
123
|
-
priority = {2},
|
124
|
-
publisher = {Addison-Wesley},
|
125
|
-
title = {Software Architecture in Practice},
|
126
|
-
year = {2003}
|
127
|
-
}
|
128
|
-
|
129
|
-
|
130
|
-
|
131
|
-
@book{beck03,
|
132
|
-
author = {Beck, Kent },
|
133
|
-
citeulike-article-id = {2678503},
|
134
|
-
journal = {Addison-Wesley},
|
135
|
-
keywords = {sw-eng},
|
136
|
-
posted-at = {2008-04-16 17:41:58},
|
137
|
-
priority = {0},
|
138
|
-
publisher = {Addison-Wesley},
|
139
|
-
title = {Test-Driven Development by Example},
|
140
|
-
year = {2003}
|
141
|
-
}
|
142
|
-
|
143
|
-
|
144
|
-
|
145
|
-
@book{thompson99,
|
146
|
-
author = {Thompson, Simon },
|
147
|
-
citeulike-article-id = {2678500},
|
148
|
-
keywords = {haskell},
|
149
|
-
posted-at = {2008-04-16 17:41:01},
|
150
|
-
priority = {2},
|
151
|
-
publisher = {Addison-Wesley},
|
152
|
-
title = {Haskell: The Craft of Functional Programming},
|
153
|
-
year = {1999}
|
154
|
-
}
|
155
|
-
|
156
|
-
|
157
|
-
|
158
|
-
@book{tiger,
|
159
|
-
author = {Appel, Andrew W. },
|
160
|
-
citeulike-article-id = {2678496},
|
161
|
-
keywords = {compilers},
|
162
|
-
posted-at = {2008-04-16 17:39:34},
|
163
|
-
priority = {2},
|
164
|
-
publisher = {Cambridge University Press},
|
165
|
-
title = {Modern Compiler Implementation in ML},
|
166
|
-
year = {1998}
|
167
|
-
}
|
168
|
-
|
169
|
-
|
170
|
-
|
171
|
-
@manual{xildev,
|
172
|
-
author = {Xilinx},
|
173
|
-
citeulike-article-id = {2670151},
|
174
|
-
organization = {Xilinx},
|
175
|
-
posted-at = {2008-04-14 18:46:26},
|
176
|
-
priority = {2},
|
177
|
-
title = {Development System Reference Guide},
|
178
|
-
year = {2007}
|
179
|
-
}
|
180
|
-
|
181
|
-
|
182
|
-
|
183
|
-
@inproceedings{golson93,
|
184
|
-
author = {Golson, Steve },
|
185
|
-
booktitle = {3rd PLD Design Conference},
|
186
|
-
citeulike-article-id = {2663349},
|
187
|
-
keywords = {digital-logic, fpgas, hdls},
|
188
|
-
month = {March},
|
189
|
-
posted-at = {2008-04-13 12:01:55},
|
190
|
-
priority = {0},
|
191
|
-
title = {One-hot state machine design for {FPGAs}},
|
192
|
-
year = {1993}
|
193
|
-
}
|
194
|
-
|
195
|
-
|
196
|
-
|
197
|
-
@techreport{parsec01,
|
198
|
-
author = {Leijen, Daan and Meijer, Erik },
|
199
|
-
citeulike-article-id = {2662226},
|
200
|
-
institution = {Departement of Computer Science, Universiteit Utrecht},
|
201
|
-
keywords = {haskell, parsing},
|
202
|
-
posted-at = {2008-04-12 21:38:39},
|
203
|
-
priority = {2},
|
204
|
-
title = {{Parsec: Direct Style Monadic Parser Combinators for the Real World}},
|
205
|
-
year = {2001}
|
206
|
-
}
|
207
|
-
|
208
|
-
|
209
|
-
|
210
|
-
@article{wallace99,
|
211
|
-
author = {Wallace, Malcolm and Runciman, Colin },
|
212
|
-
citeulike-article-id = {2659883},
|
213
|
-
journal = {ACM SIGPLAN Notices},
|
214
|
-
keywords = {haskell},
|
215
|
-
month = {September},
|
216
|
-
number = {9},
|
217
|
-
pages = {148--159},
|
218
|
-
posted-at = {2008-04-12 11:46:56},
|
219
|
-
priority = {2},
|
220
|
-
title = {Haskell and {XML}: generic combinators or type-based translation?},
|
221
|
-
volume = {34},
|
222
|
-
year = {1999}
|
223
|
-
}
|
224
|
-
|
225
|
-
|
226
|
-
|
227
|
-
@inproceedings{shaw01,
|
228
|
-
author = {Shaw, Mary },
|
229
|
-
booktitle = {Proceedings of the 23rd International Conference on Software Engineering},
|
230
|
-
citeulike-article-id = {2647331},
|
231
|
-
keywords = {sw-arch},
|
232
|
-
organization = {IEEE Computer Society},
|
233
|
-
pages = {656--664},
|
234
|
-
posted-at = {2008-04-09 22:32:17},
|
235
|
-
priority = {0},
|
236
|
-
title = {The Coming-of-Age of Software Architecture Research},
|
237
|
-
year = {2001}
|
238
|
-
}
|
239
|
-
|
240
|
-
|
241
|
-
|
242
|
-
@article{quickcheck00,
|
243
|
-
author = {Claessen, Koen and Hughes, John },
|
244
|
-
citeulike-article-id = {2515168},
|
245
|
-
journal = {Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN.},
|
246
|
-
keywords = {haskell},
|
247
|
-
posted-at = {2008-03-11 14:37:58},
|
248
|
-
priority = {2},
|
249
|
-
title = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},
|
250
|
-
year = {2000}
|
251
|
-
}
|
252
|
-
|
253
|
-
|
254
|
-
|
255
|
-
@book{sommerville,
|
256
|
-
author = {Sommerville, Ian },
|
257
|
-
citeulike-article-id = {2457343},
|
258
|
-
edition = {Seventh},
|
259
|
-
keywords = {sw-eng},
|
260
|
-
posted-at = {2008-03-02 13:14:39},
|
261
|
-
priority = {2},
|
262
|
-
publisher = {Addison Wesley},
|
263
|
-
title = {Software Engineering},
|
264
|
-
year = {2004}
|
265
|
-
}
|
266
|
-
|
267
|
-
|
268
|
-
|
269
|
-
@techreport{pdrtut,
|
270
|
-
author = {Braeckman, Geert and Van den Branden, Gerd and Touhafi, Abdellah and Van Dessel, Geoffroy },
|
271
|
-
citeulike-article-id = {2425763},
|
272
|
-
institution = {Erasmushogeschool Brussel, dept. IWT},
|
273
|
-
keywords = {fpgas},
|
274
|
-
month = {July},
|
275
|
-
posted-at = {2008-02-25 15:01:50},
|
276
|
-
priority = {0},
|
277
|
-
title = {Module Based Partial Reconfiguration: a Quick Tutorial},
|
278
|
-
url = {http://elektronica.ehb.be/reco/PartialTutorial.htm},
|
279
|
-
year = {2004}
|
280
|
-
}
|
281
|
-
|
282
|
-
|
283
|
-
|
284
|
-
@inproceedings{ward01,
|
285
|
-
author = {Ward, M. and Audsley, N. C. },
|
286
|
-
booktitle = {Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems},
|
287
|
-
citeulike-article-id = {2421111},
|
288
|
-
keywords = {hw-compilation},
|
289
|
-
pages = {99--107},
|
290
|
-
posted-at = {2008-02-24 11:17:25},
|
291
|
-
priority = {0},
|
292
|
-
publisher = {ACM},
|
293
|
-
title = {Hardware compilation of sequential {Ada}},
|
294
|
-
year = {2001}
|
295
|
-
}
|
296
|
-
|
297
|
-
|
298
|
-
|
299
|
-
@inproceedings{ward02,
|
300
|
-
author = {Ward, M. and Audsley, N. C. },
|
301
|
-
booktitle = {Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems},
|
302
|
-
citeulike-article-id = {2421108},
|
303
|
-
keywords = {hw-compilation},
|
304
|
-
pages = {59--68},
|
305
|
-
posted-at = {2008-02-24 11:15:19},
|
306
|
-
priority = {0},
|
307
|
-
publisher = {ACM},
|
308
|
-
title = {Hardware implementation of the Ravenscar Ada tasking profile},
|
309
|
-
year = {2002}
|
310
|
-
}
|
311
|
-
|
312
|
-
|
313
|
-
|
314
|
-
@book{verilog,
|
315
|
-
author = {Ciletti, Michael D. },
|
316
|
-
citeulike-article-id = {2418847},
|
317
|
-
keywords = {hdls},
|
318
|
-
posted-at = {2008-02-23 17:16:28},
|
319
|
-
priority = {1},
|
320
|
-
publisher = {Prentice Hall},
|
321
|
-
title = {Modeling, synthesis, and rapid prototyping with the Verilog HDL},
|
322
|
-
year = {1999}
|
323
|
-
}
|
324
|
-
|
325
|
-
|
326
|
-
|
327
|
-
@mastersthesis{cleary05,
|
328
|
-
author = {Cleary, Robert },
|
329
|
-
citeulike-article-id = {2305200},
|
330
|
-
keywords = {nsc},
|
331
|
-
posted-at = {2008-01-29 21:05:05},
|
332
|
-
priority = {1},
|
333
|
-
school = {University of Limerick},
|
334
|
-
title = {Extending Grammatical Evolution with Attribute Grammars: An Application to Knapsack Problems},
|
335
|
-
year = {2005}
|
336
|
-
}
|
337
|
-
|
338
|
-
|
339
|
-
|
340
|
-
@article{ryan98,
|
341
|
-
author = {Ryan, Connor and Collins, J. J. and O'Neill, Micheal },
|
342
|
-
citeulike-article-id = {2305042},
|
343
|
-
journal = {Proceedings of the First European Workshop on Genetic Programming},
|
344
|
-
keywords = {nsc},
|
345
|
-
posted-at = {2008-01-29 20:08:42},
|
346
|
-
priority = {0},
|
347
|
-
title = {Grammatical Evolution: Evolving Programs for an Arbitrary Language},
|
348
|
-
year = "1998"
|
349
|
-
}
|
350
|
-
|
351
|
-
|
352
|
-
|
353
|
-
@incollection{music04,
|
354
|
-
author = {Chemillier, Marc },
|
355
|
-
booktitle = {Formal Systems and Music},
|
356
|
-
citeulike-article-id = {2305022},
|
357
|
-
editor = {Caffagna, V. and Chemillier, M. },
|
358
|
-
journal = {Soft Computing},
|
359
|
-
keywords = {music},
|
360
|
-
posted-at = {2008-01-29 19:58:39},
|
361
|
-
priority = {0},
|
362
|
-
publisher = {Springer},
|
363
|
-
title = {Steedman's grammar for jazz chord sequences},
|
364
|
-
url = {http://recherche.ircam.fr/equipes/repmus/marc/publi/softcomputing/marcsteedman/marc-steedman.pdf},
|
365
|
-
year = {2004}
|
366
|
-
}
|
367
|
-
|
368
|
-
|
369
|
-
|
370
|
-
@manual{xilinx:xst,
|
371
|
-
author = {Xilinx},
|
372
|
-
citeulike-article-id = {2304836},
|
373
|
-
keywords = {fpgas, hdls},
|
374
|
-
organization = {Xilinx Inc.},
|
375
|
-
posted-at = {2008-01-29 18:30:50},
|
376
|
-
priority = {1},
|
377
|
-
title = {XST User Guide},
|
378
|
-
year = {2007}
|
379
|
-
}
|
380
|
-
|
381
|
-
|
382
|
-
|
383
|
-
@manual{xilinx:vertex2,
|
384
|
-
author = {Xilinx},
|
385
|
-
citeulike-article-id = {2304835},
|
386
|
-
keywords = {fpgas, hdls},
|
387
|
-
organization = {Xilinx Inc.},
|
388
|
-
posted-at = {2008-01-29 18:30:50},
|
389
|
-
priority = {1},
|
390
|
-
title = {Virtex-II Pro Data Sheet},
|
391
|
-
year = {2007}
|
392
|
-
}
|
393
|
-
|
394
|
-
|
395
|
-
|
396
|
-
@article{wirth98,
|
397
|
-
author = {Wirth, Niklaus },
|
398
|
-
citeulike-article-id = {2304834},
|
399
|
-
journal = {IEEE Computer},
|
400
|
-
keywords = {hw-compilation},
|
401
|
-
number = {6},
|
402
|
-
pages = {25--31},
|
403
|
-
posted-at = {2008-01-29 18:30:49},
|
404
|
-
priority = {0},
|
405
|
-
title = {Hardware Compilation: Translating Programs into Circuits},
|
406
|
-
volume = {31},
|
407
|
-
year = {1998}
|
408
|
-
}
|
409
|
-
|
410
|
-
|
411
|
-
|
412
|
-
@phdthesis{ward,
|
413
|
-
author = {Ward, Michael },
|
414
|
-
citeulike-article-id = {2304833},
|
415
|
-
keywords = {hw-compilation},
|
416
|
-
posted-at = {2008-01-29 18:30:49},
|
417
|
-
priority = {0},
|
418
|
-
school = {University of York},
|
419
|
-
title = {{Improving the Timing Analysis of Ravenscar / SPARK Ada by Direct Compilation to Hardware}},
|
420
|
-
year = {2004}
|
421
|
-
}
|
422
|
-
|
423
|
-
|
424
|
-
|
425
|
-
@book{wakerly,
|
426
|
-
author = {Wakerly, John F. },
|
427
|
-
citeulike-article-id = {2304832},
|
428
|
-
edition = {Fourth},
|
429
|
-
keywords = {digital-logic},
|
430
|
-
posted-at = {2008-01-29 18:30:49},
|
431
|
-
priority = {4},
|
432
|
-
publisher = {Prentice Hall},
|
433
|
-
title = {Digital Design: Principles and Practices},
|
434
|
-
year = {2006}
|
435
|
-
}
|
436
|
-
|
437
|
-
|
438
|
-
|
439
|
-
@book{dinosaur,
|
440
|
-
author = {Silberschatz, A. and Galvin, P. B. and Gagne, G. },
|
441
|
-
citeulike-article-id = {2304831},
|
442
|
-
edition = {sixth},
|
443
|
-
keywords = {operating-systems},
|
444
|
-
posted-at = {2008-01-29 18:30:49},
|
445
|
-
priority = {2},
|
446
|
-
publisher = {Wiley},
|
447
|
-
title = {{Operating System Concepts}},
|
448
|
-
year = {2003}
|
449
|
-
}
|
450
|
-
|
451
|
-
|
452
|
-
|
453
|
-
@book{rushton98,
|
454
|
-
author = {Rushton, Andrew },
|
455
|
-
citeulike-article-id = {2304830},
|
456
|
-
keywords = {hdls},
|
457
|
-
posted-at = {2008-01-29 18:30:49},
|
458
|
-
priority = {2},
|
459
|
-
publisher = {John Wiley \& Sons},
|
460
|
-
title = {VHDL for Logic Synthesis},
|
461
|
-
year = {1998}
|
462
|
-
}
|
463
|
-
|
464
|
-
|
465
|
-
|
466
|
-
@misc{peterweb,
|
467
|
-
author = {Peter, Christian },
|
468
|
-
citeulike-article-id = {2304829},
|
469
|
-
comment = {[Online; accessed 4-January-2008]},
|
470
|
-
keywords = {hw-compilation},
|
471
|
-
posted-at = {2008-01-29 18:30:49},
|
472
|
-
priority = {0},
|
473
|
-
title = {{Overview: Hardware Compilation and the Handel-C language}},
|
474
|
-
url = {http://web.comlab.ox.ac.uk/oucl/work/christian.peter/overview\_handelc.html},
|
475
|
-
year = {2000}
|
476
|
-
}
|
477
|
-
|
478
|
-
|
479
|
-
|
480
|
-
@incollection{page91,
|
481
|
-
author = {Page, I. and Luk, W. },
|
482
|
-
booktitle = {FPGAs},
|
483
|
-
citeulike-article-id = {2304828},
|
484
|
-
editor = {Moore, W. and Luk, W. },
|
485
|
-
keywords = {hw-compilation},
|
486
|
-
pages = {271--283},
|
487
|
-
posted-at = {2008-01-29 18:30:49},
|
488
|
-
priority = {0},
|
489
|
-
publisher = {Abingdon EE\&CS Books},
|
490
|
-
title = {Compiling Occam into FPGAs},
|
491
|
-
year = {1991}
|
492
|
-
}
|
493
|
-
|
494
|
-
|
495
|
-
|
496
|
-
@article{page96,
|
497
|
-
author = {Page, I. },
|
498
|
-
citeulike-article-id = {2304827},
|
499
|
-
journal = {Journal of VLSI Signal Processing},
|
500
|
-
keywords = {hw-compilation},
|
501
|
-
number = {1},
|
502
|
-
pages = {87--107},
|
503
|
-
posted-at = {2008-01-29 18:30:49},
|
504
|
-
priority = {0},
|
505
|
-
title = {Constructing hardware-software systems from a single description},
|
506
|
-
volume = {12},
|
507
|
-
year = {1996}
|
508
|
-
}
|
509
|
-
|
510
|
-
|
511
|
-
|
512
|
-
@book{oldfield95,
|
513
|
-
author = {Oldfield, John V. and Dorf, Richard C. },
|
514
|
-
citeulike-article-id = {2304826},
|
515
|
-
keywords = {fpgas},
|
516
|
-
posted-at = {2008-01-29 18:30:49},
|
517
|
-
priority = {2},
|
518
|
-
publisher = {John Wiley \& Sons},
|
519
|
-
title = {Field Programmable Gate Arrays},
|
520
|
-
year = {1995}
|
521
|
-
}
|
522
|
-
|
523
|
-
|
524
|
-
|
525
|
-
@book{louden,
|
526
|
-
author = {Louden, Kenneth C. },
|
527
|
-
citeulike-article-id = {2304825},
|
528
|
-
keywords = {compilers},
|
529
|
-
posted-at = {2008-01-29 18:30:49},
|
530
|
-
priority = {2},
|
531
|
-
publisher = {PWS},
|
532
|
-
title = {Compiler Construction: Principles and Practice},
|
533
|
-
year = {1997}
|
534
|
-
}
|
535
|
-
|
536
|
-
|
537
|
-
|
538
|
-
@book{systemc,
|
539
|
-
author = {Gr\"{o}tker, Thorsten },
|
540
|
-
citeulike-article-id = {2304824},
|
541
|
-
keywords = {hdls},
|
542
|
-
posted-at = {2008-01-29 18:30:49},
|
543
|
-
priority = {2},
|
544
|
-
publisher = {Springer},
|
545
|
-
title = {System Design with SystemC},
|
546
|
-
year = {2002}
|
547
|
-
}
|
548
|
-
|
549
|
-
|
550
|
-
|
551
|
-
@incollection{east91,
|
552
|
-
author = {East, W. and Tu, D. },
|
553
|
-
booktitle = {FPGAs},
|
554
|
-
citeulike-article-id = {2304823},
|
555
|
-
editor = {Moore, W. and Luk, W. },
|
556
|
-
keywords = {fpgas},
|
557
|
-
pages = {61--72},
|
558
|
-
posted-at = {2008-01-29 18:30:49},
|
559
|
-
priority = {2},
|
560
|
-
publisher = {Abingdon EE\&CS Books},
|
561
|
-
title = {Practical {FPGA} Design using Logic Synthesis},
|
562
|
-
year = {1991}
|
563
|
-
}
|
564
|
-
|
565
|
-
|
566
|
-
|
567
|
-
@phdthesis{lava,
|
568
|
-
author = {Claessen, Koen },
|
569
|
-
citeulike-article-id = {2304822},
|
570
|
-
keywords = {haskell, hdls},
|
571
|
-
posted-at = {2008-01-29 18:30:49},
|
572
|
-
priority = {2},
|
573
|
-
school = {Chalmers University of Technology and G\\"{o}teborg University},
|
574
|
-
title = {An Embedded Language Approach to Hardware Description and Verification},
|
575
|
-
year = {2000}
|
576
|
-
}
|
577
|
-
|
578
|
-
|
579
|
-
|
580
|
-
@book{burns01,
|
581
|
-
author = {Burns, Alan and Wellings, Andy },
|
582
|
-
citeulike-article-id = {2304821},
|
583
|
-
edition = {Third},
|
584
|
-
keywords = {rts, sw-lang},
|
585
|
-
posted-at = {2008-01-29 18:30:49},
|
586
|
-
priority = {2},
|
587
|
-
publisher = {Pearson Education},
|
588
|
-
title = {Real-Time Systems and Programming Languages},
|
589
|
-
year = {2001}
|
590
|
-
}
|
591
|
-
|
592
|
-
|
593
|
-
|
594
|
-
@book{occam,
|
595
|
-
author = {Burns, Alan },
|
596
|
-
citeulike-article-id = {2304820},
|
597
|
-
keywords = {sw-lang},
|
598
|
-
posted-at = {2008-01-29 18:30:49},
|
599
|
-
priority = {2},
|
600
|
-
publisher = {Addison-Wesley},
|
601
|
-
title = {Programming in Occam 2},
|
602
|
-
year = {1988}
|
603
|
-
}
|
604
|
-
|
605
|
-
|
606
|
-
|
607
|
-
@incollection{brunvand91,
|
608
|
-
author = {Brunvand, Erik },
|
609
|
-
booktitle = {FPGAs},
|
610
|
-
citeulike-article-id = {2304819},
|
611
|
-
editor = {Moore, W. and Luk, W. },
|
612
|
-
keywords = {fpgas},
|
613
|
-
pages = {312--323},
|
614
|
-
posted-at = {2008-01-29 18:30:49},
|
615
|
-
priority = {2},
|
616
|
-
publisher = {Abingdon EE\&CS Books},
|
617
|
-
title = {Implementing Self-Timed Systems with FPGAs},
|
618
|
-
year = {1991}
|
619
|
-
}
|
620
|
-
|
621
|
-
|
622
|
-
|
623
|
-
@article{csp,
|
624
|
-
author = {Brookes, Stephen and Hoare, C. A. R. and Roscoe, A. W. },
|
625
|
-
citeulike-article-id = {2304818},
|
626
|
-
journal = {Journal of the ACM},
|
627
|
-
keywords = {sw-lang},
|
628
|
-
number = {31},
|
629
|
-
pages = {560--599},
|
630
|
-
posted-at = {2008-01-29 18:30:49},
|
631
|
-
priority = {2},
|
632
|
-
title = {{A Theory of Communicating Sequential Processes}},
|
633
|
-
volume = {3},
|
634
|
-
year = {1984}
|
635
|
-
}
|
636
|
-
|
637
|
-
|
638
|
-
|
639
|
-
@article{jhdl,
|
640
|
-
author = {Bellows, P. and Hutchings, B. },
|
641
|
-
citeulike-article-id = {2304817},
|
642
|
-
journal = {IEEE Symposium on FPGAs for Custom Computing Machines},
|
643
|
-
keywords = {hdls},
|
644
|
-
pages = {175--185},
|
645
|
-
posted-at = {2008-01-29 18:30:49},
|
646
|
-
priority = {2},
|
647
|
-
title = {{JHDL - An HDL for Reconfigurable Systems}},
|
648
|
-
year = {1998}
|
649
|
-
}
|
650
|
-
|
651
|
-
|
652
|
-
|
653
|
-
@book{barnes98,
|
654
|
-
author = {Barnes, John },
|
655
|
-
citeulike-article-id = {2304816},
|
656
|
-
edition = {Second},
|
657
|
-
keywords = {sw-lang},
|
658
|
-
posted-at = {2008-01-29 18:30:49},
|
659
|
-
priority = {2},
|
660
|
-
publisher = {Addison-Wesley},
|
661
|
-
title = {Programming in Ada95},
|
662
|
-
year = {1998}
|
663
|
-
}
|
664
|
-
|
665
|
-
|
666
|
-
|
667
|
-
@book{ashenden96,
|
668
|
-
author = {Ashenden, Peter },
|
669
|
-
citeulike-article-id = {2304815},
|
670
|
-
keywords = {hdls},
|
671
|
-
posted-at = {2008-01-29 18:30:49},
|
672
|
-
priority = {2},
|
673
|
-
publisher = {Morgan Kaufmann},
|
674
|
-
title = {The Designer's Guide to VHDL},
|
675
|
-
year = {1996}
|
676
|
-
}
|
677
|
-
|
678
|
-
|
679
|
-
|
680
|
-
@article{andrews88,
|
681
|
-
author = {Andrews, Gregory R. and Olsson, Ronakd A. and Coffin, Micheal and Elshoff, Irving and Nilsen, Kelvin and Purdin, Titus and Townsend, Greg },
|
682
|
-
citeulike-article-id = {2304814},
|
683
|
-
journal = {ACM Transactions on Programming Languages and Systems},
|
684
|
-
keywords = {sw-lang},
|
685
|
-
number = {1},
|
686
|
-
pages = {51--86},
|
687
|
-
posted-at = {2008-01-29 18:30:49},
|
688
|
-
priority = {2},
|
689
|
-
title = {{An Overview of the SR Language and Implementation}},
|
690
|
-
volume = {10},
|
691
|
-
year = {1988}
|
692
|
-
}
|
693
|
-
|
694
|
-
|
695
|
-
|
696
|
-
@article{andrews81,
|
697
|
-
author = {Andrews, Gregory R. },
|
698
|
-
citeulike-article-id = {2304813},
|
699
|
-
journal = {ACM Transactions on Programming Languages and Systems},
|
700
|
-
keywords = {sw-lang},
|
701
|
-
number = {4},
|
702
|
-
pages = {405--430},
|
703
|
-
posted-at = {2008-01-29 18:30:49},
|
704
|
-
priority = {2},
|
705
|
-
title = {Synchronizing Resources},
|
706
|
-
volume = {3},
|
707
|
-
year = {1981}
|
708
|
-
}
|
709
|
-
|
710
|
-
|
711
|
-
|
712
|
-
@book{andrews93,
|
713
|
-
author = {Andrews, G. R. and Olsson, R. A. },
|
714
|
-
citeulike-article-id = {2304812},
|
715
|
-
keywords = {sw-lang},
|
716
|
-
posted-at = {2008-01-29 18:30:49},
|
717
|
-
priority = {2},
|
718
|
-
publisher = {Benjamin-Cummings Publishing Co., Inc.},
|
719
|
-
title = {{The SR programming language: concurrency in practice}},
|
720
|
-
year = {1993}
|
721
|
-
}
|
722
|
-
|
723
|
-
|
724
|
-
|
725
|
-
@book{kendall93,
|
726
|
-
author = {Atkinson, Kendall E. },
|
727
|
-
citeulike-article-id = {2301903},
|
728
|
-
keywords = {maths},
|
729
|
-
posted-at = {2008-01-29 12:20:37},
|
730
|
-
priority = {1},
|
731
|
-
publisher = {Wiley},
|
732
|
-
title = {Elementary Numerical Analysis},
|
733
|
-
year = {1993}
|
734
|
-
}
|
735
|
-
|
736
|
-
|
737
|
-
|
738
|
-
@inbook{mackay03,
|
739
|
-
author = {Mackay, David },
|
740
|
-
chapter = {29},
|
741
|
-
citeulike-article-id = {2301705},
|
742
|
-
keywords = {local-search},
|
743
|
-
pages = {374--375},
|
744
|
-
posted-at = {2008-01-29 11:05:33},
|
745
|
-
priority = {1},
|
746
|
-
publisher = {Cambridge University Press},
|
747
|
-
title = {Information Theory, Inference, and Learning Algorithms},
|
748
|
-
year = {2003}
|
749
|
-
}
|
750
|
-
|
751
|
-
|
752
|
-
|
753
|
-
|