Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer processing » computer programming
interface computer » interfaces computer, interactive computer, internet computer
programs java » program java, programs a, programs asia
programs case » programs a
computer processing » computer programming
interface computer » interfaces computer, interactive computer, internet computer
programs java » program java, programs a, programs asia
programs case » programs a
1
Published 2008
Table of Contents:
“... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
4
Table of Contents:
“... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook
10
Table of Contents:
“... Programming -- 3. Relationships between Classes -- 4. Language Features for Object-Oriented Implementation...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
12
Table of Contents:
“... Support in ColdFusion -- Image Processing in ColdFusion -- Essentials to Server Productivity -- Tuning...”
View full text
View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Enterprise Java Bean Applications Via Model-Driven Development: A Case Study -- Automation II -- Automated...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Sensor Networks: Case Analysis of Mica2 -- Energy-Driven Partitioning of Signal Processing Algorithms...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”View full text
Electronic
eBook