acm / sigplan notices (9)
acm sigplan notices (6)
acm transactions on programming languages & systems (6)
entcs: electronic notes in theoretical computer science (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
acm transactions on embedded computing systems (2)
ecoop 2014 - object-oriented programming (2)
electronic notes in theoretical computer science (2)
ieee transactions on very large scale integration (vlsi) systems (2)
proceedings of the acm sigplan 2001 conference: programming language design & implementation (2)
2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 (1)
2013 42nd international conference on parallel processing (1)
2013 42nd international conference on parallel processing, parallel processing (icpp), 2013 42nd international conference on (1)
2014 21st international conference on high performance computing (hipc) (1)
2014 21st international conference on high performance computing (hipc), high performance computing (hipc), 2014 21st international conference on (1)
acm transactions on parallel computing (1)
acm transactions on programming languages and systems (1)
automated technology for verification & analysis (1)
compiler construction: 18th international conference, cc 2009, held as part of the joint european conferences on theory & practice of software, etaps 2009, york, uk, march 22-29, 2009. proceedings (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
proceedings of the 2006 acm sigplan/sigbed conference: language, compilers & tool support for embedded systems (1)
proceedings of the 5th acm international conference: embedded software (1)
proceedings of the 6th acm & ieee international conference: embedded software (1)
proceedings of the conference: design, automation & test in europe (1)
proceedings of the conference: design, automation & test in europe (9783981080131) (1)
static analysis (1)