Search Results - using computational program microprocessor java https

Search alternatives:
program microprocessor » programming microprocessor , pentium microprocessor , core microprocessor
computational program » computational problem , compositional program , computational problems
microprocessor java » microprocessor data , microprocessor a , microprocessor labs
https » http

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

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

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

Published 2005

Table of Contents: “... Java Verifier -- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking...”
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: “...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”
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

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

Published 2006

Table of Contents: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
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: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
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

Distributed and Parallel Systems In Focus: Desktop Grid Computing /

Published 2008

Table of Contents: “... Estimation Scheduling in Computational Grids -- Multiprocessor Task Scheduling using a new Prioritizing...”
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: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
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

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference...

Published 2005

Table of Contents: “... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”
View full text

Electronic eBook

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

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

Narrow Search