Søgeresultater - using ((computational program) OR (computational problem)) microprocessor java https

Søg alternativer:
computational program » compositional program , computational problems , combinational programs
computational problem » computational problems , computational power , computational approaches
microprocessor java » microprocessor data , microprocessor a , microprocessor labs
https » http

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

af Loo, Alfred Wai-Sing., Loo, Alfred Wai-Sing.
Udgivet 2007

Indholdsfortegnelse: “... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
Få fuldtekst

Electronisk eBog

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland /

Udgivet 2013

Indholdsfortegnelse: “... on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Java Verifier -- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
Få fuldtekst

Electronisk eBog

Distributed and Parallel Systems In Focus: Desktop Grid Computing /

Udgivet 2008

Indholdsfortegnelse: “... Estimation Scheduling in Computational Grids -- Multiprocessor Task Scheduling using a new Prioritizing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”
Få fuldtekst

Electronisk eBog

Secure Smart Embedded Devices, Platforms and Applications

Udgivet 2014

Indholdsfortegnelse: “... and their Suitability for Cryptographic Algorithms -- An Introduction to Java Card Programming -- A Practical Example...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning