Online Strategies for Dynamic Power Management in Systems with Multiple (2008)
Power-saving States, Sandy Irani, Sandeep Shukla, Rajesh Gupta
Online dynamic power management (DPM) strategies refer to strategies that attempt to make power-mode-related decisions based on information available at runtime. In making such decisions, these...
Neumann Multiplexing Architectures (2008)
Debayan Bhaduri, Sandeep Shukla, Debayan Bhaduri, Sandeep Shukla
The advent of emerging nanotechnologies brings with it several design concerns for systems based on such technologies. One such major concern is the reliability of nanosystems. Structural redundancy...
Based Multiplexing Architectures ∗ (2008)
Debayan Bhaduri, Sandeep Shukla, Debayan Bhaduri, Sandeep Shukla
Majority gates play an important role in defect- and fault-tolerant circuit implementations for nanotechnologies due to their use in redundancy mechanisms such as TMR, CTMR etc. Therefore, providing...
An Automated Reliability Enhancement Tool for Defect-Tolerance (2008)
Debayan Bhaduri, Deepak A. Mathaikutty, Sandeep Shukla, Debayan Bhaduri, Deepak A. Mathaikutty, Sandeep K. Shukla
Due to the expected rise in defect rate of devices in a nanotechnology based digital system, tools and techniques to build reliable architectures is gaining importance. In this paper, we propose an...
Parallelizing Compiler Approaches • High-Level Synthesis (2008)
Gaurav Singh, Sumit Gupta, Tensilica Inc, Sandeep Shukla, Rajesh Gupta, A Code
High-Level Synthesis:
Model-driven validation of (2008)
Systemc Designs, Hiren Patel, Sandeep Shukla, Hiren D. Patel, Sandeep K. Shukla
Functional test generation for dynamic validation of current system level designs is a challenging task, and often manual test writing or automated random test generation techniques are used for such...
Debayan Bhaduri, Sandeep Shukla, Heather Quinn, D. Bhaduri, S. Shukla, H. Quinn
Several papers appeared recently on mapping computation onto nanofabrics with defect-mapping followed by defectavoidance. However, such techniques are for permanent or manufacturing faults. Hence...
Using Aspect-GAMMA in Design and Verification (2008)
Of Embedded Systems, Mohammad Mousavi, Giovanni Russello, Michel Chaudron, Michel Reniers, Twan Basten, ...
Mohammad Mousavi , Giovanni Russello , Michel Chaudron , Michel Reniers , Twan Basten , Angelo Corsaro , Sandeep Shukla , Rajesh Gupta and Douglas C. Schmidt Technische Universiteit Eindhoven (TU/e),...
C-Based Design of Embedded Systems (2008)
Christoph Grimm, Axel Jantsch, Sandeep Shukla, Eugenio Villar
C-Based Design of Heterogeneous Embedded Systems (2008)
Christoph Grimm, Axel Jantsch, Sandeep Shukla, Eugenio Villar
Frederic Doucet, Sandeep Shukla
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These features are also...
On the Complexity of Deciding Behavioural Equivalences and (2007)
Hans H Uttel, A Survey, Hans Huttel, Sandeep Shukla, Sandeep Shukla
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies...
Mohammad Mousavi, Giovanni Russello, Michel Chaudron, Michel A, Twan Basten, Angelo Corsaro, ...
Abstract. This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this...
A Model-Based Approach to System Specification for Distributed Real-time and Embedded Systems (2007)
Radu Cornea, Shivajit Mohapatra, Nikil Dutt, Rajesh Gupta, Ingolf Krueger, Alex Nicolau, ...
Introduction Distributed, real-time, and embedded (DRE) systems take input from many remote sensors, and provide geographically-dispersed operators with the ability to interact with the collected...
Frederic Doucet, Sandeep Shukla
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These features are also...
Runtime Intellectual Property Protection on Programmable Platforms (2007)
Eric Simpson, Sandeep Shukla, Eric Simpson
Modern Field-Programmable Gate Arrays (FPGAs) can accommodate complex system-onchip designs and require extensive intellectual-property (IP) support. However, current IP protection mechanisms in...
Abstraction Guided Semi-formal Verification (2007)
Ankur Nimish Parikh, Sandeep Shukla, Patrick Schaumont, Ankur Nimish Parikh
Abstraction-guided simulation is a promising semi-formal framework for design validation in which an abstract model of the design is used to guide a logic simulator towards a target property....
Implementation of DPA-Resistant Circuit for FPGA (2007)
Pengyuan Yu, Dr. Sandeep Shukla, Pengyuan Yu
Implementation of DPA-Resistant Circuit for FPGA
Singh, Gaurav, Ravi, S. S., Ahuja, Sumit, Shukla, Sandeep
Concurrent Action Oriented Specifications (CAOS) formalism such as Bluespec Inc.'s Bluespec System Verilog (BSV) has been recently shown to be effective for hardware modeling and synthesis. This...
Hyeonjoong Cho, James D. Arthur, Peter Athanas, Y. Thomas Hou, E. Douglas Jensen, Sandeep Shukla, ...
This dissertation presents a class of utility accrual scheduling and synchronization algorithms for dynamic, single and multiprocessor real-time systems. Dynamic real-time systems operate in...
Behavioral type inference for compositional system design (2004)
Talpin, Jean-Pierre, Berner, David, Le Guernic, Paul, Gamatié, Abdoulaye, Gupta, Rajesh, Shukla, Sandeep
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc system-level design...
Behavioral type inference for compositional system design (2004)
Talpin, Jean-Pierre, Berner, David, Le Guernic, Paul, Gamatié, Abdoulaye, Gupta, Rajesh, Shukla, Sandeep
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc system-level design...
Nanolab: A tool for evaluating reliability of defect-tolerant nano architectures (2004)
Debayan Bhaduri, Sandeep Shukla
As silicon manufacturing technology reaches the nanoscale, architectural designs need to accommodate the uncertainty inherent at such scales. These uncertainties are germane in the miniscule...
EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment (2004)
Deepak Mathaikutty, Hiren Patel, Sandeep Shukla, Axel Jantsch, Systemc Forsyde
We present the EWD design environment and methodology, a modeling and simulation framework suited for complex and heterogeneous embedded systems with varying degrees of expressibility and modeling...
XFM: Extreme Formal Method for Capturing Formal Specification into Abstract Models (2003)
Eep K. Shukla, Harry Foster, David Berner, Syed Suhaib, Sandeep Shukla
Abstract-- In this paper we introduce an agile formal method (named XFM) based on extreme programming concepts to construct abstract models from a natural language specification of a complex system....
Using Probabilistic Model Checking for Dynamic Power Management (2003)
Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla, Rajesh Gupta
We present an approach to deriving stochastic Dynamic Power Management (DPM) strategies that enables us to design both discrete time and continuous time Markov chain based strategies, in a formal and...
FORGE: A Framework for Optimization of Distributed Embedded Systems Software (2003)
Radu Cornea, Nikil Dutt, Rajesh Gupta, Ingolf Krueger, Alex Nicolau, Doug Schmidt, ...
this paper, we describe the architecture of FORGE and specific innovations being pursued. This paper is organized as followed: after a brief overview of the FORGE architecture in Section 2, we...
Sandy Irani, Sandeep Shukla, Rajesh Gupta
We present strategies for “online ” dynamic power management(DPM) based on the notion of the competitive ratio that allows us to compare the effectiveness of algorithms against an optimal...
Sandy Irani, Sandeep Shukla, Rajesh Gupta
We present strategies for “online ” dynamic power management(DPM) based on the notion of the competitive ratio that allows us to compare the effectiveness of algorithms against an optimal...
The Complexity of Deciding Behavioural Equivalences and Preorders (1996)
this paper, we shall consider the equivalences that have come out of the study of interleaving semantics in the context of process calculi in the tradition of CCS [Mil80] and CSP [Hoa84]. Most of...