Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs constructive » program construction, program constructing, problem constructive
interfaces computing » interfaces comparing, interfaces computer, interface comparing
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
constructive https » construction https, constructive type, constructive help
programs constructive » program construction, program constructing, problem constructive
interfaces computing » interfaces comparing, interfaces computer, interface comparing
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
constructive https » construction https, constructive type, constructive help
1
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience -- The MINWii...”View full text
Electronic
eBook
9
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... and CSCW -- Mining Programming Activity to Promote Help -- “It’s About Business not Politics”: Software...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Work Related Disorders Among Computer Workers -- Do Background Luminance Levels or Character Size...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Custom Sensor-Based Embedded Computing Systems Guided by End-User Optimization Criteria...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook