1
Udgivet 2007
Indholdsfortegnelse: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... Scheduling -- Improved Results for a Memory Allocation Problem -- Session 8A -- Computational and Structural...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Få fuldtekst
Electronisk eBog
6
Udgivet 2012
Indholdsfortegnelse: ...-Speed Automaton Based on Structure Vibration Response Analysis -- Over-Sampling from an Auxiliary Domain...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... Knowledge Extraction -- A Flexible Intelligent Associative Knowledge Structure of Reticular Activating...
Få fuldtekst
Electronisk eBog