Result 1 to 20 of 349 total
Towards modular compilers for effects. (English)
Peña, Ricardo (ed.) et al., Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). Lecture Notes in Computer Science 7193, 49-64 (2012).
1
Asynchronous adaptive optimisation for generic data-parallel array programming. (English)
Concurrency Comput. Pract. Exp. 24, No. 5, 499-516 (2012).
2
Sambamba: a runtime system for online adaptive parallelization. (English)
O’Boyle, Michael (ed.), Compiler construction. 21st international conference, CC 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28651-3/pbk). Lecture Notes in Computer Science 7210, 240-243 (2012).
3
Boosting single thread performance in mobile processors via reconfigurable acceleration. (English)
Choy, Oliver C. S. (ed.) et al., Reconfigurable computing: Architectures, tools and applications. 8th international symposium, ARC 2012, Hong Kong, China, March 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28364-2/pbk). Lecture Notes in Computer Science 7199, 114-125 (2012).
4
The C-ORAL-BRASIL I: reference corpus for informal spoken Brazilian Portuguese. (English)
Caseli, Helena (ed.) et al., Computational processing of the Portuguese language. 10th international conference, PROPOR 2012, Coimbra, Portugal, April 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28884-5/pbk). Lecture Notes in Computer Science 7243. Lecture Notes in Artificial Intelligence, 362-367 (2012).
5
Software modeling language with frames and multi-abstractions: an overview. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-29349-8/pbk). Lecture Notes in Computer Science 7268. Lecture Notes in Artificial Intelligence, 564-572 (2012).
6
Non-standard semantics of hybrid systems modelers. (English)
J. Comput. Syst. Sci. 78, No. 3, 877-910 (2012).
7
A finite state intersection approach to propositional satisfiability. (English)
Theor. Comput. Sci. 450, 92-108 (2012).
8
On the implementation of GNU Prolog. (English)
Theory Pract. Log. Program. 12, No. 1-2, 253-282 (2012).
9
The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines. (English)
Theory Pract. Log. Program. 12, No. 1-2, 97-126 (2012).
10
Towards a time-predictable dual-issue microprocessor: the patmos approach. (English)
Lucas, Philipp (ed.) et al., Bringing theory to practice: predictability and performance in embedded systems. Proceedings of the workshop, Grenoble, France, March 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-28-6). OASIcs ‒ OpenAccess Series in Informatics 18, 11-21, electronic only (2011).
11
Incremental compilation of Bayesian networks based on maximal prime subgraphs. (English)
Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 19, No. 2, 155-191 (2011).
12
Minemu: the world’s fastest taint tracker. (English)
Sommer, Robin (ed.) et al., Recent advances in intrusion detection. 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23643-3/pbk). Lecture Notes in Computer Science 6961, 1-20 (2011).
13
Towards a certified Petri net model-checker. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 322-336 (2011).
14
Dynamic scheduling in high-level compilation for adaptive computers. (English)
Braunschweig: Univ. Braunschweig, Carl-Friedrich Gauß-Fakultät (Diss.). 242~p. (2011).
15
Fundamentals of physical design and query compilation. (English)
Synthesis Lectures on Data Management 18. San Rafael, CA: Morgan \& Claypool Publishers (ISBN 978-1-60845-278-1/pbk; 978-1-60845-279-8/ebook). xiii, 110~p. (2011).
16
Experimental comparative study of compilation-based inference in Bayesian and possibilitic networks. (English)
Fanelli, Anna Maria (ed.) et al., Fuzzy logic and applications. 9th international workshop, WILF 2011, Trani, Italy, August 29‒31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23712-6/pbk). Lecture Notes in Computer Science 6857. Lecture Notes in Artificial Intelligence, 155-163 (2011).
17
Variable and clause ordering in an FSA approach to propositional satisfiability. (English)
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 76-87 (2011).
18
“Slimming” a Java virtual machine by way of cold code removal and optimistic partial program loading. (English)
Sci. Comput. Program. 76, No. 11, 1037-1053 (2011).
19
io-port 05914016 Fursin, Grigori;
Kashnikov, Yuriy;
Memon, Abdul Wahid;
Chamski, Zbigniew;
Temam, Olivier;
Namolaru, Mircea;
Yom-Tov, Elad;
Mendelson, Bilha;
Zaks, Ayal;
Courtois, Eric;
Bodin, Francois;
Barnard, Phil;
Ashton, Elton;
Bonilla, Edwin;
Thomson, John;
Williams, Christopher K.I.;
O’Boyle, Michael
Milepost GCC: Machine learning enabled self-tuning compiler. (English)
Int. J. Parallel Program. 39, No. 3, 296-327 (2011).
20
Result 1 to 20 of 349 total
Start
Contact
Print
General Help
