Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming implementation » programme implementation, program implementation, programs implementation
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
interface evaluating » interface evaluation, interfaces evaluation, internet evaluating
implementation https » instrumentation https, implementation _
programming implementation » programme implementation, program implementation, programs implementation
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
interface evaluating » interface evaluation, interfaces evaluation, internet evaluating
implementation https » instrumentation https, implementation _
1
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“...-Driven Indexing of Prolog Clauses -- Design, Implementation, and Evaluation of a Dynamic Compilation...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... in Heterogeneous Environments -- MPI I/O -- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Experimentation Platform V-REP: A Versatile 3D Robot Simulator -- Evaluation and Enhancement of Common Simulation...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...Extending the Strided Communication Interface in OpenSHMEM -- Exploring OpenSHMEM Model to Program...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Implementations for Understanding Application Scaling Issues -- PMI: A Scalable Parallel Process-Management...”View full text
Electronic
eBook
12
Published 2011
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
13
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Brainstorming -- Implementing a System for Collaborative Search of Local Services -- Shared Resource...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“...A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
19
Table of Contents:
“... -- Arithmetic Logic Unit (ALU) -- Shift Unit -- Branch Condition Evaluation Unit -- A Basic Sequential MIPS...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook