Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2005
Table of Contents:
“... for BlueGene/L’s Double FPU -- A Survey of High-Quality Computational Libraries and Their Impact in Science...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... and data mining -- Game and software engineering -- Grid and scalable computing -- Embedded system...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... -- NuEditor – A Tool Suite for Specification and Verification of NuSCR -- Requirements Engineering...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Bisimulation Algorithm -- Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... in Requirements Engineering -- Understanding the Scope of Uncertainty in Dynamically Adaptive Systems -- Use...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”View full text
Electronic
eBook
9
10
Published 2010
Table of Contents:
“... on 3 Screen -- Requirements Elicitation Using Paper Prototype -- Quality-Driven Architecture...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Aspect-Oriented Domain Engineering -- Mapping Features to Aspects: A Model-Based Generative Approach...”View full text
Electronic
eBook
13
14
15
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Published 2010
Table of Contents:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Papers -- A Symbolic Framework for Model-Based Testing -- A Test Calculus Framework Applied to Network...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Keynotes -- Next Generation Software Product Line Engineering -- Software Product Families in Nokia...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... User-adaptive Augmented Reality System in Mobile Computing Environment -- Software Development...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Problem -- Computing Multiple Watchman Routes -- Engineering Parallel In-Place Random Generation...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Foundations and Methodology -- The Name and Nature of Software Engineering -- A Modeling Language...”View full text
Electronic
eBook