Výsledky vyhledávání - program program programming microprocessor java https

Alternativní vyhledávání:
programming microprocessor » programming preprocessor
program programming » programs programming , programmer programming , pram programming
microprocessor java » microprocessor data , microprocessor a , microprocessor labs
program program » programs program , programming program
https » http

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Vydáno 2010

Obsah: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Získat plný text

Elektronický zdroj E-kniha

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Vydáno 2005

Obsah: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Vydáno 2008

Obsah: “...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”
Získat plný text

Elektronický zdroj E-kniha

Distributed and Parallel Systems In Focus: Desktop Grid Computing /

Vydáno 2008

Obsah: “...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Vydáno 2005

Obsah: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Vydáno 2005

Obsah: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Vydáno 2006

Obsah: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Získat plný text

Elektronický zdroj E-kniha

Peer-to-Peer Computing Building Supercomputers with Web Technologies /

Autor Loo, Alfred Wai-Sing., Loo, Alfred Wai-Sing.
Vydáno 2007

Obsah: “... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...”
Získat plný text

Elektronický zdroj E-kniha

Processor Design System-On-Chip Computing for ASICs and FPGAs /

Vydáno 2007

Obsah: “... -- Designing Soft-Core Processors for FPGAs -- Protocol Processor Design Issues -- Java Co-Processor...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Vydáno 2005

Obsah: “... Trees to Improve Program-Based and Profile-Based Static Branch Prediction -- Arithmetic Data Value...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Vydáno 2007

Obsah: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Získat plný text

Elektronický zdroj E-kniha

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Vydáno 2005

Obsah: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
Získat plný text

Elektronický zdroj E-kniha

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceeding...

Vydáno 2005

Obsah: “... Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity...”
Získat plný text

Elektronický zdroj E-kniha

Secure Smart Embedded Devices, Platforms and Applications

Vydáno 2014

Obsah: “... and their Suitability for Cryptographic Algorithms -- An Introduction to Java Card Programming -- A Practical Example...”
Získat plný text

Elektronický zdroj E-kniha

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Vydáno 2006

Obsah: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání