Satnam Singh

According to our database1, Satnam Singh authored at least 84 papers between 1989 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Cluster-level Logging of Containers with Containers.
ACM Queue, 2016

2015
Incremental Classifiers for Data-Driven Fault Diagnosis Applied to Automotive Systems.
IEEE Access, 2015

2014
An Ontology-Based Text Mining Method to Develop D-Matrix From Unstructured Text.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Special Issue Dedicated to ICFP 2012: Editorial.
J. Funct. Program., 2014

2013
Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis With Delayed Test Outcomes.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Coupled Factorial Hidden Markov Models (CFHMM) for Diagnosing Multiple and Coupled Faults.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Med-Tree: A user knowledge graph framework for medical applications.
Proceedings of the 13th IEEE International Conference on BioInformatics and BioEngineering, 2013

2012
Decision Forest for Root Cause Analysis of Intermittent Faults.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Resource-bounded multicore emulation using Beefarm.
Microprocessors and Microsystems - Embedded Hardware Design, 2012

Accelerator compiler for the VENICE vector processor.
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Computing without processors.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Computing without Processors.
ACM Queue, 2011

Health monitoring of electronic products based on Mahalanobis distance and Weibull decision metrics.
Microelectronics Reliability, 2011

Computing without processors.
Commun. ACM, 2011

An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming.
Proceedings of the 33th Communicating Process Architectures Conference, 2011

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Geometry of synthesis iv: compiling affine recursion into static hardware.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The RLOC is dead - long live the RLOC.
Proceedings of the ACM/SIGDA 19th International Symposium on Field Programmable Gate Arrays, 2011

TMbox: A Flexible and Reconfigurable 16-Core Hybrid Transactional Memory System.
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

Reconfigurable Data Processing for Clouds.
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

From Plasma to BeeFarm: Design Experience of an FPGA-Based Multicore Prototype.
Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2011

2010
Declarative data-parallel programming with the accelerator system.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Designing application specific circuits with concurrent C# programs.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Designing hardware with dynamic memory abstraction.
Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

Relieving capacity limits on FPGA-based SAT-solvers.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

FPGA Circuit Synthesis of Accelerator Data-Parallel Programs.
Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010

Data reduction and clustering techniques for fault detection and diagnosis in automotives.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009
Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems.
IEEE Trans. Instrumentation and Measurement, 2009

Runtime support for multicore Haskell.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Parallel performance tuning for Haskell.
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Finding heap-bounds for hardware synthesis.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
An Integrated Diagnostic Process for Automotive Systems.
Proceedings of the Computational Intelligence in Automotive Applications, 2008

Dynamic Scheduling of Multiple Hidden Markov Model-Based Sensors.
J. Adv. Inf. Fusion, 2008

A deterministic multi-way rendezvous library for haskell.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Using C# Attributes to Describe Hardware Artefacts within Kiwi.
Proceedings of the Forum on specification and Design Languages, 2008

Kiwi: Synthesis of FPGA Circuits from Parallel Programs.
Proceedings of the 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, 2008

Synthesizing FPGA Circuits from Parallel Programs.
Proceedings of the Reconfigurable Computing: Architectures, 2008

A Tutorial on Parallel and Concurrent Programming in Haskell.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
Hardware/Software Synthesis and Verification Using Esterel.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

New parallel programming techniques for hardware design.
Proceedings of the IFIP VLSI-SoC 2007, 2007

Dynamic fusion of classifiers for fault diagnosis.
Proceedings of the IEEE International Conference on Systems, 2007

Rollout strategy for Hidden Markov Model (HMM)-based dynamic sensor scheduling.
Proceedings of the IEEE International Conference on Systems, 2007

Feedback directed implicit parallelism.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective.
Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, 2007

2006
Information Integration via Hierarchical and Hybrid Bayesian Networks.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

An Advanced System for Modeling Asymmetric Threats.
Proceedings of the IEEE International Conference on Systems, 2006

Lock Free Data Structures Using STM in Haskell.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Hidden Markov Models and Bayesian Networks for Counter-Terrorism.
Proceedings of the Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006

2004
Designing Reconfigurable Systems in Lava.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Stochastic modeling of a terrorist event via the ASAM system.
Proceedings of the IEEE International Conference on Systems, 2004

A Demonstration of Co-Design and Co-Verification in a Synchronous Language.
Proceedings of the 2004 Design, 2004

2003
Using Lava to design and verify recursive and periodic sorters.
STTT, 2003

System Level Design and Verification Using a Synchronous Language.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

System Level Specification in Lava.
Proceedings of the 2003 Design, 2003

Design and Verification of CoreConnectTM IP Using Esterel.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
Interface specification for reconfigurable components.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

2001
Rapid Construction of Partial Configuration Datastreams from High-Level Constructs Using JBits.
Proceedings of the Field-Programmable Logic and Applications, 2001

Lava and JBits: From HDL to Bitstream in Seconds.
Proceedings of the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2001

The Design and Verification of a Sorter Core.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
The John Henry Syndrome (panel session)(abstract only): humans vs. machines as FPGA designers.
Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2000

Checking Safety Properties Using Induction and a SAT-Solver.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Death of the RLOC?
Proceedings of the 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 2000

1999
Formal Verification of FPGA Cores.
Nord. J. Comput., 1999

Rendering Postscript Fonts on FPGAs.
Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Implementing Photoshop Filters in Virtex.
Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Formal Verification of Reconfigurable Cores.
Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

Debugging Techniques for Dynamically Reconfigurable Hardware.
Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

Bézier Curve Rendering on Virtex(tm).
Proceedings of the 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 1999

1998
Partial Evaluation of Hardware.
Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Lava: Hardware Design in Haskell.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation.
Proceedings of the Field-Programmable Logic and Applications, 1998

Accelerating DTP with Reconfigurable Computing Engines.
Proceedings of the Field-Programmable Logic and Applications, 1998

Accelerating Adobe Photoshop with the Reconfigurable Logic.
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

Dynamic Specialization of XC6200 FPGAs by Partial Evaluation.
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

1997
PostscriptTM rendering with virtual hardware.
Proceedings of the Field-Programmable Logic and Applications, 7th International Workshop, 1997

A dynamic reconfiguration run-time system.
Proceedings of the 5th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '97), 1997

1996
Expressing dynamic reconfiguration by partial evaluation.
Proceedings of the 4th IEEE Symposium on FPGAs for Custom Computing Machines (FCCM '96), 1996

1995
Architectural descriptions for FPGA circuits.
Proceedings of the 3rd IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '95), 1995

1992
Circuit Analysis by Non-Standard Interpretation.
Proceedings of the Designing Correct Circuits, 1992

1991
Using XView/X11 from Miranda.
Proceedings of the Functional Programming, 1991

1989
Implementation of a Non-Standard Interpretation System.
Proceedings of the Functional Programming, 1989


  Loading...