1
av Fischer, Robert., Fischer, Robert.
Publicerad 2015
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
Hämta fulltext
Elektronisk E-bok
5
av Sharan, Kishori., Sharan, Kishori.
Publicerad 2014
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2012
Innehållsförteckning: ... in Distributed Systems: Problems and Solutions -- Handling Non-periodic Events in Real-time Java Systems...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2013
Innehållsförteckning: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2005
Innehållsförteckning: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Hämta fulltext
Elektronisk E-bok
11
Innehållsförteckning: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2015
Innehållsförteckning: ... Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2013
Innehållsförteckning: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2005
Innehållsförteckning: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... System -- Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2005
Innehållsförteckning: ... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...
Hämta fulltext
Elektronisk E-bok
17
Innehållsförteckning: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2006
Innehållsförteckning: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2007
Innehållsförteckning: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Hämta fulltext
Elektronisk E-bok