|
August 31, 2011 - SAC/SVT (27th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)
|
|
|
August 31, 2011 - SAC/EMBS (27th ACM Symposium on Applied Computing, EMBEDDED SYSTEMS Across Hardware and Software)
|
Trento, Italy |
|
August 19, 2011 - PPoPP 17 (17th ACM ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming)
|
New Orleans, Louisiana USA |
|
August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)
|
Haifa, Israel |
|
July 25, 2011 - Special Session on GPU Computing and Hybrid Computing at PDP 2012
|
Garching/Munich, Germany |
|
July 25, 2011 - DP 2012 (The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing)
|
Garching near Munich, Germany |
|
July 22, 2011 - Posters for SC 11 (Supercomputing Conference)
|
Seattle, Washington |
|
July 18, 2011 - ASPLOS (17th International Conference on Architectural Support for Programming Languages and Operating Systems)
|
London, UK |
|
July 17, 2011 - "Facing the Mulicore-Challenge II"
|
Karlsruhe Institute of Technology (KIT), Germany |
|
July 15, 2011 - HIPEAC (7th International Conference on High-Performance and Embedded Architectures and Compilers)
|
Paris, France |
|
July 12, 2011 - POPL 2012 (39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
|
Philadelphia, USA |
|
July 06, 2011 - WCRE 2011 (18th Working Conference on Reverse Engineering,)
|
Lero, Limerick, Ireland |
|
June 22, 2011 - TISS'11 (5th International Workshop on Harnessing Theories for Tool Support in Software)
|
Oslo, Norway |
|
June 15, 2011 - NSAD 2011 (The Third International Workshop on Numerical and Symbolic Abstract Domains)
|
Venice, Italy |
|
June 13, 2001 - AVOCS (11th International Workshop on Automated Verification of Critical Systems)
|
Newcastle upon Tyne, UK |
|
June 13, 2011 - HeteroPar'2011 (8th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)
|
Bordeaux, France |
|
June 03, 2011 - LCPC 2011 (The 24th International Workshop on Languages and Compilers for Parallel Computing)
|
Fort Collins, Colorado |
|
June 01, 2011 - SSV 2011 (6th International Workshop on Systems Software Verification, Real Software, Real Problems, Real Solutions)
|
Nijmegen, The Netherlands |
|
June 01, 2011 - VECoS'2011 (5th International Workshop on Verification and Evaluation of Computer and Communication Systems)
|
Tunis, Tunisia |
|
May 31, 2011 - ICA3PP 2011 (11th International Conference on Algorithms and Architectures for Parallel Processing)
|
Melbourne, Australia |
