1
Publicat 2012
Taula de continguts: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ..., A. Gyulassy, H. Wang, P.-T. Bremer and V. Pascucci -- 2 Interpreting Feature Tracking Through...
Obtenir text complet
Electrònic eBook
6
Taula de continguts: ...I. Progress in Quantum Physics since the Lamb Shift calculations -- II. Progress in Gravitation...
Obtenir text complet
Electrònic eBook
7
Publicat 2005
Taula de continguts: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... and Modeling of Wireless Sensor Network in TLA+ -- Interpretation of Dual Peak Time Signal Measured in Network...
Obtenir text complet
Electrònic eBook