Result 1 to 20 of 1028 total
Experience report on designing and developing control components using formal methods. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 341-355 (2012).
1
Parallel application characterization with quantitative metrics. (English)
Concurrency Comput. Pract. Exp. 24, No. 5, 445-462 (2012).
2
Body-and-cad geometric constraint systems. (English)
Comput. Geom. 45, No. 8, 385-405 (2012).
3
A new design defects classification: marrying detection and correction. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 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-28871-5/pbk). Lecture Notes in Computer Science 7212, 455-470 (2012).
4
Ubiquitous framework for creating and evaluating persuasive applications and games. (English)
Rautiainen, Mika (ed.) et al., Grid and pervasive computing workshops. International workshops, S3E, HWTS, doctoral colloquium, held in conjunction with GPC 2011, Oulu, Finland, May 11‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27915-7/pbk). Lecture Notes in Computer Science 7096, 133-140 (2012).
5
An adaptable virtual engineering platform for distributed design based on open source game technology. (English)
Adv. Eng. Softw. 43, No. 1, 71-86 (2012).
6
Speeding up CRC32C computations with intel CRC32 instruction. (English)
Inf. Process. Lett. 112, No. 5, 179-185 (2012).
7
A framework for analysis and design of software reference architectures. (English)
Inf. Softw. Technol. 54, No. 4, 417-431 (2012).
8
Human and program factors affecting the maintenance of programs with deployed design patterns. (English)
Inf. Softw. Technol. 54, No. 1, 99-118 (2012).
9
Introduction to elementary computational modeling. Essential concepts, principles, and problem solving. (English)
Chapman \& Hall/CRC Computational Science. Boca Raton, FL: CRC Press (ISBN 978-1-4398-6739-6/pbk). xxv, 303~p. \sterling~49.99 (2012).
10
Automated solution of differential equations by the finite element method. The FEniCS book. (English)
Lecture Notes in Computational Science and Engineering 84. Berlin: Springer (ISBN 978-3-642-23098-1/hbk; 978-3-642-23099-8/ebook). xiii, 723~p. EUR~74.85 (2012).
11
Importance decision analysis on software testing design. (Chinese)
J. Comput. Appl. 31, No. 6, 1495-1497 (2011).
12
Offline enforcement of contracts for high-performance computing. (English)
Concurrency Comput. Pract. Exp. 23, No. 13, 1465-1473 (2011).
13
Bridging the gap between software architecture rationale formalisms and actual architecture documents: an ontology-driven approach. (English)
Sci. Comput. Program. 77, No. 1, 66-80 (2012).
14
Tolerance of design faults. (English)
Jones, Cliff B. (ed.) et al., Dependable and historic computing. Essays dedicated to Brian Randell on the occasion of his 75th birthday. Berlin: Springer (ISBN 978-3-642-24540-4/pbk). Lecture Notes in Computer Science 6875, 428-452 (2011).
15
Parallelizing an index generator for desktop search. (English)
Varbanescu, Ana Lucia (ed.) et al., Computer architecture. ISCA 2010 international workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19‒23, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24321-9/pbk). Lecture Notes in Computer Science 6161, 77-85 (2011).
16
An overview on software reconfiguration. (English)
Theory Appl. Math. Comput. Sci. 1, No. 1, 74-79 (2011).
17
Development and evaluation of a lightweight root cause analysis method (ARCA method): field studies at four software companies. (English)
Inf. Softw. Technol. 53, No. 10, 1045-1061 (2011).
18
CAD-2-SIM ‒ kinematic modeling of mechanisms based on the Sheth-Uicker convention. (English)
Jeschke, Sabina (ed.) et al., Intelligent robotics and applications. 4th international conference, ICIRA 2011, Aachen, Germany, December 6‒8, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25485-7/pbk). Lecture Notes in Computer Science 7101. Lecture Notes in Artificial Intelligence, 465-477 (2011).
19
The value in muddling around modelling. (English)
Whittle, Jon (ed.) et al., Model driven engineering languages and systems. 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24484-1/pbk). Lecture Notes in Computer Science 6981, 1 (2011).
20
Result 1 to 20 of 1028 total
Start
Contact
Print
General Help
