1
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Få fuldtekst
Electronisk eBog
11
Udgivet 2014
Indholdsfortegnelse: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Få fuldtekst
Electronisk eBog