|
April 10, 2011 - WSRE (13th WORKSHOP SOFTWARE-REENGINEERING)
|
Event |
|
May 16, 2011 - HiPC 2011 (18th IEEE International Conference on High Performance Computing)
|
Event |
|
May 06, 2011 - ATVA 2011 (9th International Symposium on Automated Technology for Verification and Analysis)
|
Event |
|
May 09, 2011- ASE (The 26th IEEE/ACM International Conference on Automated Software Engineering)
|
Event |
|
April 11, 2011 - PESPMA 2011 (4th Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures)
|
Event |
|
July 12, 2011 - POPL 2012 ( 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
|
Event |
|
May 02, 2011 - DASIP (2011 Conference on Design and Architectures for Signal and Image Processing)
|
Event |
|
April 30, 2011 - APPT (Advanced Parallel Processing Technology Symposium)
|
Event |
|
July 25, 2011 - DP 2012 (The 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing)
|
Event |
|
July 18, 2011 - ASPLOS (17th International Conference on Architectural Support for Programming Languages and Operating Systems)
|
Event |
|
April 29, 2011 - (21st Workshop on Logic-based methods in Programming Environments)
|
Event |
|
June 13, 2001 - AVOCS (11th International Workshop on Automated Verification of Critical Systems)
|
Event |
|
May 01, 2011 - HPCC-2011 (13th edition of the highly successful International Conference on High Performance and Communications)
|
Event |
|
June 22, 2011 - TISS'11 (5th International Workshop on Harnessing Theories for Tool Support in Software)
|
Event |
|
April 30, 2011 - (Memory and Data Parallelism on Multi- and Manycore Platforms)
|
Event |
|
May 27, 2011 - LCPC (24th International Workshop on Languages and Compilers for Parallel Computing)
|
Event |
|
May 02, 2011 - (Transformation Tool Contest 2011)
|
Event |
|
July 15, 2011 - HIPEAC (7th International Conference on High-Performance and Embedded Architectures and Compilers)
|
Event |
|
May 23, 2011 - VISSOFT 2011 (6th IEEE International Workshop on Visualizing Software for Understanding and Analysis)
|
Event |
|
July 25, 2011 - Special Session on GPU Computing and Hybrid Computing at PDP 2012
|
Event |
|
July 22, 2011 - Posters for SC 11 (Supercomputing Conference)
|
Event |
|
August 19, 2011 - PPoPP 17 (17th ACM ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming)
|
Event |
|
October 14, 2011 - CC 2012 (International Conference on Compiler Construction)
|
Event |
|
June 01, 2011 - VECoS'2011 (5th International Workshop on Verification and Evaluation of Computer and Communication Systems)
|
Event |
|
July 06, 2011 - WCRE 2011 (18th Working Conference on Reverse Engineering,)
|
Event |
|
July 17, 2011 - "Facing the Mulicore-Challenge II"
|
Event |
|
May 31, 2011 - ICA3PP 2011 (11th International Conference on Algorithms and Architectures for Parallel Processing)
|
Event |
|
September 20, 2011 - CGO (10th International Symposium on Code Generation and Optimization)
|
Event |
|
August 31, 2011 - ACM Transactions in Embedded Computing Systems (TECS), Special Section on Embedded Systems for Real-time Multimedia
|
Event |
|
June 01, 2011 - SSV 2011 (6th International Workshop on Systems Software Verification, Real Software, Real Problems, Real Solutions)
|
Event |
|
June 13, 2011 - HeteroPar'2011 (8th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)
|
Event |
|
August 31, 2011 - HPCA-18 (The 18th International Symposium on High-Performance Computer Architecture)
|
Event |
|
August 31, 2011 - SAC/EMBS (27th ACM Symposium on Applied Computing, EMBEDDED SYSTEMS Across Hardware and Software)
|
Event |
|
August 31, 2011 - SAC/SVT (27th Annual ACM Symposium on Applied Computing Software, Verification and Testing Track)
|
Event |
|
August 31, 2011 - SAC/PL (ACM 2012 SYMPOSIUM ON APPLIED COMPUTING, Technical Track on "Programming Languages" )
|
Event |
|
November 6, 2011 - PLDI (Programming Language Design and Implementation )
|
Event |
|
February 10, 2012 - LCTES (15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems)
|
Event |
|
February 10, 2012 - ISSTA 2012 (2012 International Symposium on Software Testing and Analysis)
|
Event |
|
September 11, 2011 - DATE E (DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE, TRACK E: "Embedded Systems Software", TOPIC E2: "Compilers and Software Synthesis for Embedded Systems")
|
Event |
|
September 25, 2011 - CPC 2012 (16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING)
|
Event |
|
August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)
|
Event |
|
October 21, 2011 - ITNG 2012 (The 4th International Symposium on Software Testing)
|
Event |
|
September 11, 2011 - NWPT'11 (23rd NORDIC WORKSHOP ON PROGRAMMING THEORY )
|
Event |
|
January 15, 2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science" )
|
Event |
|
January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012)
|
Event |
|
January 23, 2012 - HPDC'12 (The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing)
|
Event |
|
January 20, 2012 - TASE (The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering)
|
Event |
|
January 15, 2012 - (4th International Workshop on “Tools and Techniques in Software Development Process”)
|
Event |
|
February 17, 2012 - ( 20th IEEE International Conference on Program Comprehension)
|
Event |
|
February 15, 2012 - ASAP12 (23rd IEEE International Conference on Application-specific Systems, Architectures and Processors)
|
Event |
|
December 16, 2011 - INTERACT-16 (16th Workshop on Interaction between Compilers and Computer Architectures)
|
Event |
|
January 11, 2012 - PLC’2012 (Multicore and GPU Programming Models, Languages and Compilers Workshop)
|
Event |
|
April 04, 2012 - FMICS 2012 (17th International Workshop on Formal Methods for Industrial Critical Systems)
|
Event |
|
January 5, 2012 - RAW 2012 (9th Reconfigurable Architectures Workshop)
|
Event |
|
March 30, 2012 - SPIN 2012 (19th International Workshop on Model Checking Software)
|
Event |
|
February 1, 2012 - HAC 2012 (1st International Workshop on Heterogeneous Architectures and Computing)
|
Event |
|
March 23, 2012 - SAS 2012 (19th International Static Analysis Symposium)
|
Event |
|
March 02, 2012 - ASE 2012 (27th IEEE/ACM International Conference on Automated Software Engineering)
|
Event |
|
January 13, 2012 - HP-PAC (Eighth IEEE Workshop on High-Performance, Power-Aware Computing)
|
Event |
|
January 20,2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science)
|
Event |
|
January 15, 2012 - (ACM International Conference on Computing Frontiers)
|
Event |
|
June 05, 2012 - LCPC (25th International Workshop on Languages and Compilers for Parallel Computing)
|
Event |
|
March 23, 2012 - PACT (The 21st International Conference on Parallel Architectures and Compilation Techniques)
|
Event |
|
March 23, 2012 - PACT (The 21st International Conference on Parallel Architectures and Compilation Techniques)
|
Event |
|
June 18, 2012 - HiPEAC 2013 (8th International Conference on High-Performance Embedded Architectures and Compilers)
|
Event |
|
April 09, 2012 - (12th International Workshop on Worst-Case Execution Time Analysis)
|
Event |
|
March 12, 2012 - IPCV'12 (The 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition)
|
Event |
|
April 04, 2012 - ESWeek 2012 (Embedded Systems Week)
|
Event |
|
April 06, 2012 - LCTES WiP (The International Conference on Languages, Compilers, Tools and Theory for Embedded Systems)
|
Event |
|
April 27, 2012 - SC12 (SuperComputing)
|
Event |
|
March 02, 2012 - ICPP-2012 (The 41st Annual Conference - 2012 International Conference on Parallel Processing)
|
Event |
|
May 05, 2012 - Science of Computer Programming, Special Issue on Automated Verification of Critical Systems
|
Event |
|
March 16, 2012 - WSR 2012 (14th Workshop Software Reengineering)
|
Event |
|
February 18, 2012- Euro-Par 2012 (18th International European Conference on Parallel and Distributed Computing)
|
Event |
|
April 20, 2012 - WCET (12th International Workshop on Worst-Case Execution Time Analysis)
|
Event |
|
March 18, 2012 - WRT12 (5th Workshop on Refactoring Tools)
|
Event |
|
February 17, 2012 - Map2MPSoC/SCOPES 2012 (5th Workshop on Mapping of Applications to MPSoCs and 15th International Workshop on Software and Compilers for Embedded Systems)
|
Event |
|
March 25, 2012 - FGC 2012 (The Third International Workshop on Frontier of GPU Computing)
|
Event |
|
June 11, 2012 - PROPER 2012 (5th Workshop on Productivity and Performance Tools for HPC Application Development)
|
Event |
|
June 01, 2012 - AVoCS (12th International Workshop on Automated Verification of Critical Systems)
|
Event |
|
March 16, 2012 - PACT 2012 (The Twenty-First International Conference on Parallel Architectures and Compilation Techniques)
|
Event |
|
September 07, 2012 - HPCA-19 (19th International Symposium on High-Performance Computer Architecture)
|
Event |
|
April 04, 2012 - CASES 2012 (Compilers Architectures and Synthesis for Embedded Systems)
|
Event |
|
June 06, 2012 - NSAD 2012 (The Third International Workshop on Numerical and Symbolic Abstract Domains)
|
Event |
|
March 12, 2012 - PDPTA'12 (The 2012 International Conference on Parallel and Distributed Processing Techniques and Applications)
|
Event |
|
March 02, 2012 - PLAS 2012 (Seventh ACM SIGPLAN Workshop on Programming Languages and Analysis for Security)
|
Event |
|
May 11, 2012 - PSTI 2012 (Third International Workshop on Parallel Software Tools and Tool Infrastructures)
|
Event |
|
March 28, 2012 - EMSOFT (International Conference on Embedded Software )
|
Event |
|
March 31, 2012 - ICA3PP 2012 (12th International Conference on Algorithms and Architectures for Parallel Processing)
|
Event |
|
March 26, 2012 - Map2MPSoC/SCOPES 2012 (Mapping of Applications to MPSoCs and 15th International Workshop on Software and Compilers for Embedded Systems)
|
Event |
|
April 01, 2012 - DASIP 2012 (The 2012 Conference on Design and Architectures for Signal and Image Processing)
|
Event |
|
May 16, 2012 - HiPC 2012 (19th IEEE International Conference on High Performance Computing)
|
Event |
|
June 01, 2012 - TAPAS 2012 (The 3th Tools for Automatic Program AnalysiS workshop)
|
Event |
|
April 27, 2012 - WODA 2012 (10th International Workshop on Dynamic Analysis)
|
Event |
|
September 10, 2012 - CGO 2013 (2013 International Symposium on Code Generation and Optimization)
|
Event |
|
April 25, 2012 - WATERS 2012 (3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems)
|
Event |
|
April 27, 2012 - ISoLA 2012 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation)
|
Event |
|
June 28, 2012 - HeteroPar'2012 (10th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms)
|
Event |
|
June 01, 2012 - RSP (23rd IEEE International Symposium on Rapid System Prototyping)
|
Event |
|
May 10, 2012 - RP 12 (6th International Workshop on Reachability Problems)
|
Event |
