Result 1 to 20 of 373 total
Automatic algorithm development using new reinforcement programming techniques. (English)
Comput. Intell. 28, No. 2, 176-208 (2012).
1
Engineering multi-agent systems through statecharts-based JADE agents and tools. (English)
Nguyen, Ngoc Thanh (ed.), Transactions on Computational Collective Intelligence VII. Berlin: Springer (ISBN 978-3-642-32065-1/pbk). Lecture Notes in Computer Science 7270. Journal Subline, 61-81 (2012).
2
Expression templates and opencl. (English)
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 9th international conference, PPAM 2011, Torun, Poland, September 11‒14, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-31499-5/pbk). Lecture Notes in Computer Science 7204, 71-80 (2012).
3
Model checking and code generation for transaction processing software. (English)
Concurrency Comput. Pract. Exp. 24, No. 7, 711-722 (2012).
4
PyCUDA and PyOpenCL: a scripting-based approach to GPU run-time code generation. (English)
Parallel Comput. 38, No. 3, 157-174 (2012).
5
Improving performance of OpenCL on CPUs. (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, 1-20 (2012).
6
Software implementation of modifications of iterative algorithms for solving linear systems of equations. (English)
Int. J. Pure Appl. Math. 76, No. 4, 489-500 (2012).
7
A model-driven framework for developing web service oriented applications. (English)
Harth, Andreas (ed.) et al., Current trends in web engineering. Workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20‒21, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27996-6/pbk). Lecture Notes in Computer Science 7059, 181-195 (2012).
8
A domain based new code coverage metric and a related automated test data generation method. (English)
Ann. Univ. Sci. Budap. Rolando Eőtvős, Sect. Comput. 36, 217-240 (2012).
9
Test-case generation for embedded binary code using abstract interpretation. (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, 101-108, electronic only (2011).
10
Design and generation of web services choreographies with time constraints. (English)
J. UCS 17, No. 13, 1800-1829, electronic only (2011).
11
Assuring property conformance of code generators via model checking. (English)
Formal Asp. Comput. 23, No. 5, 589-606 (2011).
12
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. (English)
Simulation 87, No. 9, 775-808 (2011).
13
Towards the automatic derivation of Malaca agents using MDE. (English)
Weyns, Danny (ed.) et al., Agent-oriented software engineering XI. 11th international workshop, AOSE 2010, Toronto, Canada, May 10‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22635-9/pbk). Lecture Notes in Computer Science 6788, 128-147 (2011).
14
Code generation for a bi-dimensional composition mechanism. (English)
Huzar, Zbigniew (ed.) et al., Software engineering techniques. Third IFIP TC 2 Central and East European conference, CEE-SET 2008, Brno, Czech Republic, October 13‒15, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22385-3/pbk). Lecture Notes in Computer Science 4980, 171-185 (2011).
15
Automated generation of implementation from textual system requirements. (English)
Huzar, Zbigniew (ed.) et al., Software engineering techniques. Third IFIP TC 2 Central and East European conference, CEE-SET 2008, Brno, Czech Republic, October 13‒15, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22385-3/pbk). Lecture Notes in Computer Science 4980, 34-47 (2011).
16
An auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range. (English)
Automatica 47, No. 10, 2279-2285 (2011).
17
A case study on API generation. (English)
Kraemer, Frank Alexander (ed.) et al., System analysis and modeling: about models. 6th international workshop, SAM 2010, Oslo, Norway, October 4‒5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21651-0/pbk). Lecture Notes in Computer Science 6598, 156-172 (2011).
18
SDL code generation for network simulators. (English)
Kraemer, Frank Alexander (ed.) et al., System analysis and modeling: about models. 6th international workshop, SAM 2010, Oslo, Norway, October 4‒5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21651-0/pbk). Lecture Notes in Computer Science 6598, 144-155 (2011).
19
UML-based specification and generation of executable web services. (English)
Kraemer, Frank Alexander (ed.) et al., System analysis and modeling: about models. 6th international workshop, SAM 2010, Oslo, Norway, October 4‒5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21651-0/pbk). Lecture Notes in Computer Science 6598, 91-107 (2011).
20
Result 1 to 20 of 373 total
Start
Contact
Print
General Help
