Result 1 to 20 of 1313 total
Determination of division algebras with 243 elements. (English)
Finite Fields Appl. 18, No. 6, 1148-1155 (2012).
1
Combining the sweep-line method with the use of an external-memory priority queue. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 43-61 (2012).
2
A parallel genetic algorithm based on global program state monitoring. (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 I. Berlin: Springer (ISBN 978-3-642-31463-6/pbk). Lecture Notes in Computer Science 7203, 396-405 (2012).
3
CTL: a platform-independent crypto tools library based on dataflow programming paradigm. (English)
Keromytis, Angelos D. (ed.), Financial cryptography and data security. 16th international conference, FC 2012, Kralendijk, Bonaire, Februray 27 ‒ March 2, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32945-6/pbk). Lecture Notes in Computer Science 7397, 299-313 (2012).
4
OpenMP parallelism for fluid and fluid-particulate systems. (English)
Parallel Comput. 38, No. 9, 501-517 (2012).
5
Scalable communication architectures for massively parallel hardware multi-processors. (English)
J. Parallel Distrib. Comput. 72, No. 11, 1450-1463 (2012).
6
Scalable automatic performance analysis on IBM bluegene/P systems. (English)
Alexander, Michael (ed.) et al., Euro-Par 2011: Parallel processing workshops. CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29‒September 2, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-29739-7/pbk). Lecture Notes in Computer Science 7156, 146-155 (2012).
7
Bioinformatic software developments in Spain. (English)
Freitas, Ana T. (ed.) et al., Bioinformatics for personalized medicine. 10th Spanish symposium, JBI 2010, Torremolinos, Spain, October 27‒29, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28061-0/pbk). Lecture Notes in Computer Science 6620. Lecture Notes in Bioinformatics, 108-120 (2012).
8
An interface for agent-environment interaction. (English)
Collier, Rem (ed.) et al., Programming multi-agent systems. 8th international workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28938-5/pbk). Lecture Notes in Computer Science 6599. Lecture Notes in Artificial Intelligence, 139-158 (2012).
9
Trace profiling: scalable event tracing on high-end parallel systems. (English)
Parallel Comput. 38, No. 4-5, 194-225 (2012).
10
A web services based solution for online loan management via smartphone. (English)
Pan, Jeng-Shyang (ed.) et al., Intelligent information and database systems. 4th Asian conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19‒21, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-28489-2/pbk). Lecture Notes in Computer Science 7197. Lecture Notes in Artificial Intelligence, 217-226 (2012).
11
Verification of safety-critical systems: a case study report on using modern model checking tools. (English)
Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 44-56, electronic only (2012).
12
Orchestrating tuple-based languages. (English)
Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk). Lecture Notes in Computer Science 7173, 160-178 (2012).
13
From urban labs in the city to urban labs on the web. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2012. 12th international conference, Salvador de Bahia, Brazil, June 18‒21, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31074-4/pbk). Lecture Notes in Computer Science 7334, 686-698 (2012).
14
CPN Assistant II: a tool for management of networked simulations. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 408-417 (2012).
15
An empirical investigation of factors influencing the adoption of data mining tools. (English)
Int. J. Inf. Manag. 32, No. 3, 257-270 (2012).
16
Performance measurement scenarios with fuzzy cognitive strategic maps. (English)
Int. J. Inf. Manag. 32, No. 2, 182-195 (2012).
17
Impact of Web 2.0 on national libraries. (English)
Int. J. Inf. Manag. 32, No. 1, 3-10 (2012).
18
Lince, an end user tool for the implementation of the spelling reform of 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, 46-55 (2012).
19
Massively multiplayer online games developed with agents. (English)
Pan, Zhigeng (ed.) et al., Transactions on Edutainment VII. Berlin: Springer (ISBN 978-3-642-29049-7/pbk; 978-3-642-29050-3/ebook). Lecture Notes in Computer Science 7145. Journal Subline, 129-138 (2012).
20
Result 1 to 20 of 1313 total
Start
Contact
Print
General Help
