May 04, 2012 - SCMA 2012 (12th IEEE International Working Conference on Source Code Analysis and Manipulation )
|
Event |
May 24, 2012 - RP'12 (6th International Workshop on Reachability Problems)
|
Event |
September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)
|
Event |
June 29, 2012 - SBAC PAD 2012 (THE 24th INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING)
|
Event |
June 11, 2012 - CPA 2012 (Communicating Process Architectures)
|
Event |
February 28, 2013 - ParCo 2013 (PARALLEL COMPUTING 2013)
|
Event |
May 25, 2012 - SASSUR (International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems)
|
Event |
June 03, 2012 - RV 2012 (International Conference on Runtime Verification )
|
Event |
September 17, 2012 - ICST 2013 (6th IEEE International Conference on Software Testing, Verification, and Validation)
|
Event |
September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Embedded Systems Track)
|
Event |
June 25, 2012 - ESTIMedia 2012 (10th IEEE Symposium on Embedded Systems for Real-Time Multimedia )
|
Event |
July 20, 2012 - PDCAT 2012 (Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies)
|
Event |
June 27, 2012 - WCRE 2012 (19th Working Conference on Reverse Engineering)
|
Event |
September 24, 2012 - ComPAS/RenPar/SympA/CFSE (Conférence d'informatique en Parallélisme, Architecture et Système)
|
Event |
September 16, 2012 - SRS (5th HiPC Student Research Symposium)
|
Event |
September 21, 2012 - SAC (28th Annual ACM Symposium on Applied Computing Software, Embedded Systems Track, Advances along the Hardware/Software Borderline)
|
Event |
July 30, 2012 - PDP 2013 (Special Session on GPU Computing and Hybrid Computing)
|
Event |
August 19, 2012 - Compiler, Architecture and Tools Conference
|
Event |
October 12, 2012 - ITNG 2013 (5th International Symposium on Software Testing)
|
Event |
April 26, 2013 - EnA-HPC 2013 (Fourth International Conference on Energy-Aware High Performance Computing)
|
Event |
February 12, 2013 - LCTES 2013 (The conference on Languages, Compilers and Tools for Embedded Systems)
|
Event |
May 05, 2013 - SCAM (13th IEEE International Working Conference on Source Code Analysis and Manipulation)
|
Event |
April 24, 2013 - ICSM (29th IEEE International Conference on Software Maintenance)
|
Event |
March 01, 2013 - APMM 2013 (3rd International Workshop on New Algorithms and Programming Models for the Manycore Era)
|
Event |
January 25, 2013 - ALCHEMY Workshop (Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems)
|
Event |
March 11, 2013 - DSD (The Euromicro Conference on Digital System Design)
|
Event |
February 10, 2013 - SAS 2013 (The 20th International Static Analysis Symposium)
|
Event |
January 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)
|
Event |
June 15, 2013 - HPCC 2013 (15th IEEE International Conference on High Performance Computing and Communications)
|
Event |
January 22, 2013 - COMPUTATION TOOLS 2013 (The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking)
|
Event |
January 20, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
|
Event |
February 01, 2013 - ASAP 2013 (24th IEEE International Conference on Application-specific Systems, Architectures and Processors)
|
Event |
January 15, 2013 - CAV (25th International Conference on Computer Aided Verification)
|
Event |
January 10, 2013 - (13th Workshop on Tools for Program Development and Analysis in Computational Science)
|
Event |
May 10, 2013 - PSTI 2013 (Fourth International Workshop on Parallel Software Tools and Tool Infrastructures)
|
Event |