Ditemukan 22 dokumen yang sesuai dengan query
"
This book constitutes the refereed proceedings of the 13th International Conference on Passive and Active Measurement, PAM 2012, held in Vienna, Austria, in March 2012. The 25 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers were arranged into eight sessions traffic evolution and analysis, large scale monitoring, evaluation methodology, malicious behavior, new measurement initiatives, reassessing tools and methods, perspectives on internet structure and services, and application protocols ...
"
Berlin: Springer-Verlag, 2012
e20409963
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 25th International Conference on Architecture of Computing Systems, ARCS 2012, held in Munich, Germany, in February/March 2012. The 20 revised full papers presented in 7 technical sessions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on robustness and fault tolerance, power-aware processing, parallel processing, processor cores, optimization, and communication and memory ...
"
Berlin: Springer-Verlag, 2012
e20410506
eBooks Universitas Indonesia Library
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
"
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12 workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement of all aspects of parallel and distributed computing ...
"
Berlin: Springer-Verlag, 2012
e20410518
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application ...
"
Berlin: Springer-Verlag, 2012
e20407834
eBooks Universitas Indonesia Library
"
This book comprises the refereed proceedings of the International Conferences, MAS and ASNT 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012.
The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of modeling and simulation, and automotive science and technology ...
"
Berlin: Springer-Verlag, 2012
e20408379
eBooks Universitas Indonesia Library
Kuipers, Fernando A., editor
"
This book constitutes the refereed proceedings of the 6th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2012, held in Delft, The Netherlands, in March 2012. The 5 revised full papers and 5 short papers presented together with 2 invited papers were carefully selected from 25 full paper and 8 short paper submissions. The papers address the following key topics, design and analysis of self-organizing and self-managing systems, inspiring models of self-organization in nature ...
"
Heidelberg: [Springer, ], 2012
e20409965
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection, pattern recognition and image processing, biometric applications, algorithms and data management, networking, and system models ...
"
Heidelberg: Springer-Verlag, 2012
e20409985
eBooks Universitas Indonesia Library
Xinbing Wang, editor
"
This book constitutes the refereed proceedings of the 7th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2012, held in Yellow Mountains, China, in August 2012. The 24 revised full papers presented together with 32 invited papers were carefully reviewed and selected from 116 submissions. The papers cover a wide range of topics such as cognitive radio networks, cyber-physical network systems, mobile handset networking systems, underwater and radar wireless networks, and wireless and mobile ...
"
Berlin: [, Springer-Verlag], 2012
e20410152
eBooks Universitas Indonesia Library
"
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support ...
"
Berlin: Springer-Verlag, 2012
e20410261
eBooks Universitas Indonesia Library
Thomas Rofer, editor
"
This book includes the thoroughly refereed post-conference proceedings of the 15th Annual RoboCup International Symposium, held in Istanbul, Turkey, in July 2011. The 12 revised papers and 32 poster presentation presented were carefully reviewed and selected from 97 submissions. The papers are orginazed on topical sections on robot hardware and software, perception and action, robotic cognition and learning, multi-robot systems, human-robot interaction, education and edutainment and applications ...
"
Berlin: [, Springer-Verlag], 2012
e20410399
eBooks Universitas Indonesia Library
