Result 1 to 20 of 989 total
From serial loops to parallel execution on distributed systems. (English)
Kaklamanis, Christos (ed.) et al., Euro-Par 2012 parallel processing. 18th international conference, Euro-Par 2012, Rhodes Island, Greece, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32819-0/pbk). Lecture Notes in Computer Science 7484, 246-257 (2012).
1
Compiler assisted masking. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 58-75 (2012).
2
A geometric approach to Gibbs energy landscapes and optimal DNA codeword design. (English)
Stefanovic, Darko (ed.) et al., DNA computing and molecular programming. 18th international conference, DNA 18, Aarhus, Denmark, August 14‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32207-5/pbk). Lecture Notes in Computer Science 7433, 73-85 (2012).
3
Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. (English)
Sci. Comput. Program. 77, No. 2, 96-112 (2012).
4
Compiler support for effective XSL transformation. (English)
Concurrency Comput. Pract. Exp. 24, No. 14, 1572-1593 (2012).
5
Compiler supports for VLIW DSP processors with SIMD intrinsics. (English)
Concurrency Comput. Pract. Exp. 24, No. 5, 517-532 (2012).
6
Compiler support for value-based indirect branch prediction. (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, 185-199 (2012).
7
Domain-specific language and compiler for stencil computation on FPGA-based systolic computational-memory array. (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, 26-39 (2012).
8
Formal verification of compiler transformations on polychronous equations. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 113-127 (2012).
9
Securing circuits against constant-rate tampering. (English)
Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology ‒ CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 533-551 (2012).
10
A practical solution for achieving language compatibility in scripting language compilers. (English)
Sci. Comput. Program. 77, No. 9, 971-989 (2012).
11
Empirical performance model-driven data layout optimization and library call selection for tensor contraction expressions. (English)
J. Parallel Distrib. Comput. 72, No. 3, 338-352 (2012).
12
Superoptimization in LLVM. (English)
Ann. Univ. Sci. Budap. Rolando Eőtvős, Sect. Comput. 36, 179-199 (2012).
13
Internal models of system F for decompilation. (English)
Theor. Comput. Sci. 435, 3-20 (2012).
14
Energy-saving compilation for mobile systems. (English)
Program. Comput. Softw. 37, No. 6, 306-314 (2011); translation from Programmirovanie 37, No. 6 (2011).
15
Automatic C compiler generation from architecture description language ISAC. (English)
Matyska, Ludek (ed.) et al., Sixth doctoral workshop on mathematical and engineering methods in computer science (MEMICS’10), October 22‒4, 2010, Mikulov, Czech Republic. Selected papers. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-22-4). OASIcs ‒ OpenAccess Series in Informatics 16, 47-53, electronic only (2011).
16
Towards formally verified optimizing compilation in flight control software. (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, 59-68, electronic only (2011).
17
Register allocation via graph coloring using an evolutionary algorithm. (English)
Panigrahi, Bijaya Ketan (ed.) et al., Swarm, evolutionary, and memetic computing. Second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-27241-7/pbk). Lecture Notes in Computer Science 7077, 1-8 (2011).
18
Termination analysis of C programs using compiler intermediate languages. (English)
Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 ‒ June 1, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPICS ‒ Leibniz International Proceedings in Informatics 10, 41-50, electronic only (2011).
19
Dynamic scheduling in high-level compilation for adaptive computers. (English)
Braunschweig: Univ. Braunschweig, Carl-Friedrich Gauß-Fakultät (Diss.). 242~p. (2011).
20
Result 1 to 20 of 989 total
Start
Contact
Print
General Help
