Search Results - programs computer programs microprocessor java https

Search alternatives:
programs microprocessor » programming microprocessor
microprocessor java » microprocessor data , microprocessor a , microprocessor labs
programs computer » programming computer , forms computer
computer programs » computer program
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: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
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

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

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

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

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

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

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: “... Computing for High-Security/High-Performance Ambient Systems -- FPL-3E: Towards Language Support...”
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 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

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

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

Published 2007

Table of Contents: “...Embedded Computer Architecture Fundamentals -- Beyond the Valley of the Lost Processors: Problems...”
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

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