You are here: Home
232 items matching your search terms.
Filter the results.
Item type









New items since



Sort by relevance · date (newest first) · alphabetically
January 23, 2012 - HPDC'12 (The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing)
The 21st International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'12) Delft University of Technology, Delft, the Netherlands June 18-22, 2012 http://www.hpdc.org/2012
Located in CFP Folder
January 22, 2012 - CAV (24th International Conference on Computer Aided Verification (CAV 2012)
24th International Conference on Computer Aided Verification (CAV 2012) July 7-13, 2012 Berkeley, California, USA Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia Website: http://cav12.cs.illinois.edu/
Located in CFP Folder
January 15, 2012 - (12th Workshop on "Tools for Program Development and Analysis in Computational Science" )
12th Workshop on "Tools for Program Development and Analysis in Computational Science" in conjunction with the ICCS conference in Omaha, Nebraska
Located in CFP Folder
September 11, 2011 - NWPT'11 (23rd NORDIC WORKSHOP ON PROGRAMMING THEORY )
23rd NORDIC WORKSHOP ON PROGRAMMING THEORY (NWPT'11) Mälardalen University, Västerås, Sweden http://www.mrtc.mdh.se/nwpt2011/
Located in CFP Folder
October 21, 2011 - ITNG 2012 (The 4th International Symposium on Software Testing)
The 4th International Symposium on Software Testing April 16-18, 2012 Las Vegas, Nevada, USA http://www.vteonline.com/ITNG2012/ In association with the 9th International Conference on Information Technology New Generations (ITNG 2012)
Located in CFP Folder
August 18, 2011 - HVC 2011 (Haifa Verification Conference 2011)
Haifa Verification Conference 2011 (HVC 2011) December 6-8, 2011 Organized by IBM R&D Labs in Israel http://www.research.ibm.com/haifa/conferences/hvc2011
Located in CFP Folder
September 25, 2011 - CPC 2012 (16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING)
16TH INTERNATIONAL WORKSHOP ON COMPILERS FOR PARALLEL COMPUTING (CPC 2012) January 11-13, 2012 Padova, Italy http://aacse.dei.unipd.it/cpc2012/
Located in CFP Folder
April 11, 2011 - PESPMA 2011 (4th Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures)
4th Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures (PESPMA 2011) June 5, 2011 San Jose, California In conjunction with the 38th International Symposia on Computer Architecture (ISCA) http://cccp.eecs.umich.edu/pespma
Located in CFP Folder
May 27, 2011 - LCPC (24th International Workshop on Languages and Compilers for Parallel Computing)
The 24th International Workshop on Languages and Compilers for Parallel Computing Colorado State University, Fort Collins, Colorado September 8-10, 2011
Located in CFP Folder
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")
CALL FOR PAPERS DATE 2012 TRACK E: "Embedded Systems Software" TOPIC E2: "Compilers and Software Synthesis for Embedded Systems" DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE ICC, DRESDEN, GERMANY 12TH-16TH MARCH 2012 http://www.date-conference.com
Located in CFP Folder