Search Results - program programs program microprocessor java https

Search alternatives:
program microprocessor » programming microprocessor , pentium microprocessor , core microprocessor
microprocessor java » microprocessor data , microprocessor a , microprocessor labs
program programs » program program , program progress , programme progress
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 /

Published 2010

Table of Contents: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”
View full text

Electronic eBook

Distributed and Parallel Systems In Focus: Desktop Grid Computing /

Published 2008

Table of Contents: “...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
View full text

Electronic eBook

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

by Loo, Alfred Wai-Sing., Loo, Alfred Wai-Sing.
Published 2007

Table of Contents: “... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Designing Soft-Core Processors for FPGAs -- Protocol Processor Design Issues -- Java Co-Processor...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Trees to Improve Program-Based and Profile-Based Static Branch Prediction -- Arithmetic Data Value...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity...”
View full text

Electronic eBook

Secure Smart Embedded Devices, Platforms and Applications

Published 2014

Table of Contents: “... and their Suitability for Cryptographic Algorithms -- An Introduction to Java Card Programming -- A Practical Example...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
View full text

Electronic eBook

Narrow Search