1
Veröffentlicht 2007
Inhaltsangabe: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ... -- Scientific Computing Applications on the Imagine Stream Processor -- Enhancing Last-Level Cache Performance...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2012
Inhaltsangabe: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... Integration to a Microsoft Robotics Studio Simulation -- A Proposed Framework for Collaborative Design in a...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2006
Inhaltsangabe: ... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2007
Inhaltsangabe: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2005
Inhaltsangabe: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2006
Inhaltsangabe: ...Invited Papers -- Invariant Based Programming -- On the Integration of UML and Petri Nets...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Volltext
Elektronisch E-Book
14
Inhaltsangabe: ... -- Coverage-Driven Verification -- Assertions for Formal Tools -- System-Level Verification -- Processor...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2013
Inhaltsangabe: ...-Processor Design: Correctness of a Secret Computer -- DKAL: Constructing Executable Specifications...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Cellular Automata -- Cellular Automata-Based Structures to Compute the Solutions of Linear Difference...
Volltext
Elektronisch E-Book
17
von Katzen, Sid., Katzen, Sid.
Veröffentlicht 2010
Inhaltsangabe: ...The Fundamentals -- Digital Representation -- Logic Circuitry -- Stored Program Processing...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2007
Inhaltsangabe: ... -- Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction -- Secret Signatures: How...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2007
Inhaltsangabe: ...Integrating Advanced Collaborative Capabilities into Web-Based Word Processors -- A Peer-to-Peer...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ... -- Parallelization of an Evolutionary Algorithm on a Platform with Multi-core Processors -- On the Difficulty...
Volltext
Elektronisch E-Book