| Checking safety properties using induction and a SAT-solver M Sheeran, S Singh, G Stålmarck International conference on formal methods in computer-aided design, 127-144, 2000 | 1016 | 2000 |
| Lava: hardware design in Haskell P Bjesse, K Claessen, M Sheeran, S Singh Acm Sigplan Notices 34 (1), 174-184, 1998 | 584 | 1998 |
| Runtime support for multicore Haskell S Marlow, S Peyton Jones, S Singh Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009 | 190 | 2009 |
| A dynamic reconfiguration run-time system J Burns, A Donlin, J Hogg, S Singh, M De Wit Proceedings. The 5th Annual IEEE Symposium on Field-Programmable Custom …, 1997 | 179 | 1997 |
| Kiwi: Synthesis of FPGA circuits from parallel programs S Singh, DJ Greaves 2008 16th International Symposium on Field-Programmable Custom Computing …, 2008 | 136 | 2008 |
| Computing without Processors: Heterogeneous systems allow us to target our programming to the appropriate environment. S Singh Queue 9 (6), 50-63, 2011 | 82 | 2011 |
| An asynchronous messaging library for c G Chrysanthakopoulos, S Singh | 73 | 2005 |
| Feedback directed implicit parallelism T Harris, S Singh Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 70 | 2007 |
| Parallel performance tuning for Haskell D Jones Jr, S Marlow, S Singh Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 81-92, 2009 | 59 | 2009 |
| Lava and JBits: From HDL to bitstream in seconds S Singh, P James-Roxby The 9th Annual IEEE Symposium on Field-Programmable Custom Computing …, 2001 | 58 | 2001 |
| Virtual hardware for graphics applications using FPGAs S Singh, P Bellec Proceedings of IEEE Workshop on FPGA's for Custom Computing Machines, 49-58, 1994 | 58 | 1994 |
| Dynamic specialisation of XC6200 FPGAs by partial evaluation N McKay, T Melham, KW Susanto Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998 | 55 | 1998 |
| Expressing dynamic reconfiguration by partial evaluation Singh, Hogg, McAuley 1996 Proceedings IEEE Symposium on FPGAs for Custom Computing Machines, 188-194, 1996 | 54 | 1996 |
| Lock free data structures using STM in Haskell A Discolo, T Harris, S Marlow, SP Jones, S Singh Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006 | 52 | 2006 |
| The design and verification of a sorter core K Claessen, M Sheeran, S Singh Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 52 | 2001 |
| Geometry of synthesis IV: compiling affine recursion into static hardware DR Ghica, A Smith, S Singh Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 49 | 2011 |
| A tutorial on parallel and concurrent programming in haskell S Peyton Jones, S Singh International School on Advanced Functional Programming, 267-305, 2008 | 49 | 2008 |
| Finding heap-bounds for hardware synthesis B Cook, A Gupta, S Magill, A Rybalchenko, J Simsa, S Singh, V Vafeiadis 2009 Formal Methods in Computer-Aided Design, 205-212, 2009 | 42 | 2009 |
| Accelerating Adobe Photoshop with reconfigurable logic S Singh, R Slous Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998 | 36 | 1998 |
| An integrated diagnostic process for automotive systems K Pattipati, A Kodali, J Luo, K Choi, S Singh, C Sankavaram, S Mandal, ... Computational intelligence in automotive applications, 191-218, 2008 | 35 | 2008 |
Mary SheeranChalmers Univeresity of Technology在 chalmers.se 的电子邮件经过验证
