1
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Indholdsfortegnelse: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Få fuldtekst
Electronisk eBog
6
Udgivet 2007
Indholdsfortegnelse: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
Få fuldtekst
Electronisk eBog