Satnam Singh - RankMe

104 papers A 19B 14C 8Misc 17Journal 23Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Mediating role of Digital Ethics on the impact of Artificial Intelligence Usage and Public Relations Practices: evidence from Malaysia. Frontiers Artif. Intell. Umaima Khalid, Mokhtarrudin Ahmad, Tak Jie Chan, Mahir Pradana, Satnam Singh
2025	C	`conf`	The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). PEPM Satnam Singh
2024	J	`jnl`	Classification of substances by health hazard using deep neural networks and molecular electron densities. J. Cheminformatics Satnam Singh, Gina Zeh, Jessica Freiherr, Thilo Bauer, Isik Türkmen, Andreas Grasskamp
2023	—	`conf`	Integrating structural features for link prediction in directed social network using supervised machine learning with SHapley Additive exPlanations. OCIT Debasis Mohapatra, Satnam Singh, Rupsalin Pradhan, Soumya Ranjan Behera
2023	J	`jnl`	OWSum: algorithmic odor prediction and insight into structure-odor relationships. J. Cheminformatics Doris Schicker, Satnam Singh, Jessica Freiherr, Andreas Grasskamp
2022	—	`conf`	Chatbot: A Bridge Between Technology and Learn. ICCR Sakshi, Satnam Singh, Reeta Rautela
2022	—	`conf`	Recognition of Handwritten Digit Using Different Machine Learning Algorithms. ICCR Kumar Priyadarshini, Satnam Singh, Anil Kumar Dixit
2022	—	`conf`	Sunrise Based Alarm Clock using IoT. ACI@ISIC Shruti Khatri, Amardeep Kaur, Shubham Verma, Satnam Singh, Mandeep Kaur, Nitin Rakesh, Parma Nand
2022	A	`conf`	The Virtuous Cycles of Determinism: Programming Groq's Tensor Streaming Processor. FPGA Satnam Singh
2022	—	`conf`	Towards Artificial Intelligent Olfactory Systems. ISOEN Gina Zeh, Maximilian Koehne, Andreas Grasskamp, Helen Haug, Satnam Singh, Tilman Sauerwald
2021	J	`jnl`	Seven Basic Expression Recognition Using ResNet-18. CoRR Satnam Singh, Doris Schicker
2018	—	`conf`	A Speech Processing Strategy based on Sinusoidal Speech Model for Cochlear Implant Users. APSIPA Sungmin Lee, Sara Akbarzadeh, Satnam Singh, Chin-Tuan Tan
2018	—	`conf`	Implication of speech level control in noise to sound quality judgement. APSIPA Sara Akbarzadeh, Sungmin Lee, Satnam Singh, Chin-Tuan Tan
2016	J	`jnl`	Cluster-level Logging of Containers with Containers. ACM Queue Satnam Singh
2015	J	`jnl`	Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems. IEEE Access Chaitanya Sankavaram, Anuradha Kodali, Krishna R. Pattipati, Satnam Singh
2014	J	`jnl`	An Ontology-Based Text Mining Method to Develop D-Matrix From Unstructured Text. IEEE Trans. Syst. Man Cybern. Syst. Dnyanesh G. Rajpathak, Satnam Singh
2014	J	`jnl`	Special Issue Dedicated to ICFP 2012: Editorial. J. Funct. Program. Satnam Singh, Robert Bruce Findler
2013	J	`jnl`	Coupled Factorial Hidden Markov Models (CFHMM) for Diagnosing Multiple and Coupled Faults. IEEE Trans. Syst. Man Cybern. Syst. Anuradha Kodali, Krishna R. Pattipati, Satnam Singh
2013	J	`jnl`	Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis With Delayed Test Outcomes. IEEE Trans. Syst. Man Cybern. Syst. Anuradha Kodali, Satnam Singh, Krishna R. Pattipati
2013	C	`conf`	Med-Tree: A user knowledge graph framework for medical applications. BIBE Maunendra Sankar Desarkar, Sandip Bhaumik, Sailesh K. Sathish, Satnam Singh, Ranga V. Narayanan
2013	—	`conf`	Preventing Domestic Violence Via Education in Cloud Computing Service. LTEC Chih Lin, Pei-Chi Shao, Satnam Singh
2012	B	`ed.`	22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012 FPL Dirk Koch, Satnam Singh, Jim Tørresen
2012	A	`conf`	Accelerator compiler for the VENICE vector processor. FPGA Zhiduo Liu, Aaron Severance, Satnam Singh, Guy G. F. Lemieux
2012	Misc	`conf`	Computing without processors. CODES+ISSS Satnam Singh
2012	J	`jnl`	Decision Forest for Root Cause Analysis of Intermittent Faults. IEEE Trans. Syst. Man Cybern. Part C Satnam Singh, Halasya Siva Subramania, Steven W. Holland, Jason T. Davis
2012	B	`ed.`	Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012 FMCAD Gianpiero Cabodi, Satnam Singh
2012	J	`jnl`	Resource-bounded multicore emulation using Beefarm. Microprocess. Microsystems Oriol Arcas, Nehir Sönmez, Gokhan Sayilar, Satnam Singh, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero
2011	C	`ed.`	9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 MEMOCODE Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt
2011	—	`conf`	An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA Alex Cole, Alistair A. McEwan, Satnam Singh
2011	J	`jnl`	Computing without Processors. ACM Queue Satnam Singh
2011	J	`jnl`	Computing without processors. Commun. ACM Satnam Singh
2011	C	`conf`	Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE David J. Greaves, Satnam Singh
2011	—	`conf`	From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype. ARC Nehir Sönmez, Oriol Arcas, Gokhan Sayilar, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero
2011	A	`conf`	Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP Dan R. Ghica, Alex I. Smith, Satnam Singh
2011	J	`jnl`	Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics. Microelectron. Reliab. Gang Niu, Satnam Singh, Steven W. Holland, Michael G. Pecht
2011	Misc	`conf`	Reconfigurable Data Processing for Clouds. FCCM Anil Madhavapeddy, Satnam Singh
2011	Misc	`conf`	TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory System. FCCM Nehir Sönmez, Oriol Arcas, Otto Pflucker, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Satnam Singh, Mateo Valero
2011	A	`conf`	The RLOC is dead - long live the RLOC. FPGA Satnam Singh
2010	—	`conf`	Data reduction and clustering techniques for fault detection and diagnosis in automotives. CASE Aurobinda Routray, Aparna Rajaguru, Satnam Singh
2010	—	`conf`	Declarative data-parallel programming with the accelerator system. DAMP Satnam Singh
2010	J	`jnl`	Design and verification of peripheral control circuits in Esterel. Concurr. Comput. Pract. Exp. Satnam Singh
2010	C	`conf`	Designing application specific circuits with concurrent C# programs. MEMOCODE David J. Greaves, Satnam Singh
2010	A	`conf`	Designing hardware with dynamic memory abstraction. FPGA Jirí Simsa, Satnam Singh
2010	Misc	`conf`	FPGA Circuit Synthesis of Accelerator Data-Parallel Programs. FCCM Barry Bond, Kerry Hammil, Lubomir Litchev, Satnam Singh
2010	B	`conf`	Relieving capacity limits on FPGA-based SAT-solvers. FMCAD Leopold Haller, Satnam Singh
2009	—	`conf`	A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults. CASE Satnam Singh, Anuradha Kodali, Krishna R. Pattipati
2009	J	`jnl`	Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models. IEEE Trans. Syst. Man Cybern. Part A Satnam Singh, Haiying Tu, William Donat, Krishna R. Pattipati, Peter Willett
2009	J	`jnl`	Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques. IEEE Trans. Syst. Man Cybern. Part A Satnam Singh, Anuradha Kodali, Kihoon Choi, Krishna R. Pattipati, Setu Madhavi Namburu, S. C. Sean, Danil V. Prokhorov, Liu Qiao
2009	B	`conf`	Finding heap-bounds for hardware synthesis. FMCAD Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis
2009	J	`jnl`	Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems. IEEE Trans. Instrum. Meas. Kihoon Choi, Satnam Singh, Anuradha Kodali, Krishna R. Pattipati, John W. Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao
2009	C	`conf`	Parallel performance tuning for Haskell. Haskell Don Jones Jr., Simon Marlow, Satnam Singh
2009	A	`conf`	Runtime support for multicore Haskell. ICFP Simon Marlow, Simon L. Peyton Jones, Satnam Singh
2008	—	`conf`	A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming Simon L. Peyton Jones, Satnam Singh
2008	A	`conf`	A deterministic multi-way rendezvous library for haskell. IPDPS Nalini Vasudevan, Satnam Singh, Stephen A. Edwards
2008	—	`ch.`	An Integrated Diagnostic Process for Automotive Systems. Computational Intelligence in Automotive Applications Krishna R. Pattipati, Anuradha Kodali, Jianhui Luo, Kihoon Choi, Satnam Singh, Chaitanya Sankavaram, Suvasri Mandal, William Donat, Setu Madhavi Namburu, Shunsuke Chigusa, Liu Qiao
2008	J	`jnl`	Dynamic Scheduling of Multiple Hidden Markov Model-Based Sensors. J. Adv. Inf. Fusion Woosun An, Satnam Singh, Krishna R. Pattipati, David L. Kleinman, Swapna S. Gokhale
2008	Misc	`conf`	Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM David J. Greaves, Satnam Singh
2008	—	`conf`	Synthesizing FPGA Circuits from Parallel Programs. ARC Satnam Singh, David J. Greaves
2008	C	`conf`	Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL David J. Greaves, Satnam Singh
2007	B	`conf`	Dynamic fusion of classifiers for fault diagnosis. SMC Satnam Singh, Kihoon Choi, Anuradha Kodali, Krishna R. Pattipati, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao
2007	A	`conf`	Feedback directed implicit parallelism. ICFP Tim Harris, Satnam Singh
2007	—	`conf`	Hardware/Software Synthesis and Verification Using Esterel. CPA Satnam Singh
2007	A	`conf`	Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective. FPGA Satnam Singh
2007	C	`conf`	New parallel programming techniques for hardware design. VLSI-SoC Satnam Singh
2007	B	`conf`	Rollout strategy for Hidden Markov Model (HMM)-based dynamic sensor scheduling. SMC Hyunsung Lee, Satnam Singh, Woosun An, Swapna S. Gokhale, Krishna R. Pattipati, David L. Kleinman
2006	B	`conf`	An Advanced System for Modeling Asymmetric Threats. SMC Satnam Singh, William Donat, Haiying Tu, Jijun Lu, Krishna R. Pattipati, Peter Willett
2006	—	`ch.`	Hidden Markov Models and Bayesian Networks for Counter-Terrorism. Emergent Information Technologies and Enabling Policies for Counter-Terrorism Krishna R. Pattipati, Peter Willett, Jefferey Allanach, Haiying Tu, Satnam Singh
2006	J	`jnl`	Information Integration via Hierarchical and Hybrid Bayesian Networks. IEEE Trans. Syst. Man Cybern. Part A Haiying Tu, Jefferey Allanach, Satnam Singh, Krishna R. Pattipati, Peter Willett
2006	Misc	`conf`	Lock Free Data Structures Using STM in Haskell. FLOPS Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
2004	A	`conf`	A Demonstration of Co-Design and Co-Verification in a Synchronous Language. DATE Satnam Singh
2004	Misc	`conf`	Designing Reconfigurable Systems in Lava. VLSI Design Satnam Singh
2004	—	`conf`	Stochastic modeling of a terrorist event via the ASAM system. SMC (6) Satnam Singh, Jefferey Allanach, Haiying Tu, Krishna R. Pattipati, Peter Willett
2003	—	`conf`	Design and Verification of CoreConnectTM IP Using Esterel. CHARME Satnam Singh
2003	A	`conf`	System Level Design and Verification Using a Synchronous Language. ICCAD Gérard Berry, Michael Kishinevsky, Satnam Singh
2003	A	`conf`	System Level Specification in Lava. DATE Satnam Singh
2003	J	`jnl`	Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. Koen Claessen, Mary Sheeran, Satnam Singh
2002	A	`conf`	Interface specification for reconfigurable components. ICCAD Satnam Singh
2001	Misc	`conf`	Lava and JBits: From HDL to Bitstream in Seconds. FCCM Satnam Singh, Philip James-Roxby
2001	B	`conf`	Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits. FPL Satnam Singh, Philip James-Roxby
2001	—	`conf`	The Design and Verification of a Sorter Core. CHARME Koen Claessen, Mary Sheeran, Satnam Singh
2000	B	`conf`	Checking Safety Properties Using Induction and a SAT-Solver. FMCAD Mary Sheeran, Satnam Singh, Gunnar Stålmarck
2000	Misc	`conf`	Death of the RLOC? FCCM Satnam Singh
2000	A	`conf`	The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designers. FPGA Herman Schmit, Ray Andraka, Philip Friedin, Satnam Singh, Tim Southgate
1999	Misc	`conf`	Bézier Curve Rendering on Virtex(tm). FCCM Donald MacVicar, Satnam Singh, Robert Slous
1999	Misc	`conf`	Debugging Techniques for Dynamically Reconfigurable Hardware. FCCM Nicholas McKay, Satnam Singh
1999	J	`jnl`	Formal Verification of FPGA Cores. Nord. J. Comput. Carl Johan Lillieroth, Satnam Singh
1999	Misc	`conf`	Formal Verification of Reconfigurable Cores. FCCM Satnam Singh, Carl Johan Lillieroth
1999	B	`conf`	Implementing Photoshop Filters in Virtex. FPL Stefan H.-M. Ludwig, Robert Slous, Satnam Singh
1999	B	`conf`	Rendering Postscript Fonts on FPGAs. FPL Donald MacVicar, John W. Patterson, Satnam Singh
1998	Misc	`conf`	Accelerating Adobe Photoshop with the Reconfigurable Logic. FCCM Satnam Singh, Robert Slous
1998	B	`conf`	Accelerating DTP with Reconfigurable Computing Engines. FPL Donald MacVicar, Satnam Singh
1998	B	`conf`	Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation. FPL Nicholas McKay, Satnam Singh
1998	Misc	`conf`	Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh
1998	A	`conf`	Lava: Hardware Design in Haskell. ICFP Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
1998	—	`conf`	Partial Evaluation of Hardware. Partial Evaluation Satnam Singh, Nicholas McKay
1997	Misc	`conf`	A dynamic reconfiguration run-time system. FCCM Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark de Wit
1997	B	`conf`	Postscript FPL Satnam Singh, John W. Patterson, Jim Burns, Michael Winston Dales
1996	Misc	`conf`	Expressing dynamic reconfiguration by partial evaluation. FCCM Satnam Singh, Jonathan Hogg, Derek McAuley
1995	Misc	`conf`	Architectural descriptions for FPGA circuits. FCCM Satnam Singh
1993	A	`conf`	Implementing Fudgets with Standard Widget Sets. Functional Programming Alastair Reid, Satnam Singh
1992	—	`conf`	Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits Satnam Singh
1991	A	`conf`	Using XView/X11 from Miranda. Functional Programming Satnam Singh
1990	A	`conf`	Differentiating Strictness. Functional Programming Satnam Singh
1989	A	`conf`	Implementation of a Non-Standard Interpretation System. Functional Programming Satnam Singh