| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sandeep K. Shukla, Jean-Pierre Talpin |
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.  |
IEEE Trans. Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Prabhat Mishra, Zeljko Zilic |
A Brief History of Multiprocessors and EDA. |
IEEE Design & Test of Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeljko Zilic, Prabhat Mishra, Sandeep K. Shukla |
Challenges of Rapidly Emerging Consumer Space Multiprocessors. |
IEEE Design & Test of Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhat Mishra, Zeljko Zilic, Sandeep K. Shukla |
Guest Editors' Introduction: Multicore SoC Validation with Transaction-Level Models. |
IEEE Design & Test of Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla |
High Level Power Estimation Models for FPGAs. |
ISVLSI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla |
SMT based false causal loop detection during code synthesis from Polychronous specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
Integrating system descriptions by clocked guarded actions. |
FDL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla |
Power Aware High Level Synthesis of Hardware Coprocessors. |
J. Low Power Electronics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla |
Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Avinash Lakshminarayana, Sumit Ahuja, Sandeep K. Shukla |
Coprocessor design space exploration using high level synthesis. |
ISQED |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
Minimizing back pressure for latency insensitive system synthesis. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Jason Pribble, Sandeep K. Shukla |
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
polychrony, multi-clock, embedded software, software synthesis, prime implicate, synchronous programming, multirate |
| 1 | Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla |
The Model Checking View to Clock Gating and Operand Isolation. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
operand isolation, model checking, clock gating |
| 1 | Sumit Ahuja, Wei Zhang, Sandeep K. Shukla |
System level simulation guided approach to improve the efficacy of clock-gating. |
HLDVT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahesh Nanjundappa, Hiren D. Patel, Bijoy A. Jose, Sandeep K. Shukla |
SCGPSim: a fast SystemC simulator on GPUs. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Sandeep K. Shukla |
An alternative polychronous model and synthesis methodology for model-driven embedded software. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Wei Zhang, Avinash Lakshminarayana, Sandeep K. Shukla |
A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
C2R, Hardware Coprocessor, Software Algorithms, High Level Synthesis, Clock-gating, Power Reduction |
| 1 | Bin Xue, Sandeep K. Shukla |
Optimization of back pressure and throughput for latency insensitive systems. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider, Sandeep K. Shukla |
Translating concurrent action oriented specifications to synchronous guarded actions. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
concurrent action-oriented specifications, code generation, synchronous languages, guarded commands |
| 1 | Gaurav Singh, Sandeep Kumar Shukla |
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. |
|
2010 |
DOI RDF |
|
| 1 | Gaurav Singh, Jacob B. Schwartz, Sandeep K. Shukla |
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. |
J. Low Power Electronics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Avinash Lakshminarayana, Sandeep K. Shukla |
SCoPE: Statistical Regression Based Power Models for Co-Processors Power Estimation. |
J. Low Power Electronics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla |
Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07). |
JETC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin |
Generating Multi-Threaded code from Polychronous Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Bin Xue, Sandeep K. Shukla |
An Analysis of the Composition of Synchronous Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla |
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Jean-Pierre Talpin |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla |
Model-Driven Engineering and Safety-Critical Embedded Software. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio |
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic |
EXPRESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang 0004, Deepak Mathaikutty |
Metamodeling: An Emerging Representation Paradigm for System-Level Design. |
IEEE Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Swathi T. Gurumani, Chad Spackman, Sandeep K. Shukla |
Hardware Coprocessor Synthesis from an ANSI C Specification. |
IEEE Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla |
Metamodeling: What is it good for? |
IEEE Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar |
Power estimation methodology for a high-level synthesis framework. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla |
Analysis of scheduled Latency insensitive systems with periodic clock calculus. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla |
EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Edgar G. Daylight, Sandeep K. Shukla |
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. |
FM |
2009 |
DBLP DOI BibTeX RDF |
adaptability, non-functional requirements, formal specification languages, local reasoning |
| 1 | Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier |
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Avinash Lakshminarayana, Sandeep K. Shukla |
Accurate power estimation of hardware co-processors using system level simulation. |
SoCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep Kumar Shukla |
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design. |
|
2009 |
RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining metadata for composability of IPs from SystemC IP library. |
Design Autom. for Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Model-Driven Validation of SystemC Designs. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
Dataflow Architectures for GALS. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
On Cosimulating Multiple Abstraction-Level System-Level Models. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. |
IEEE Trans. VLSI Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja |
MMV: A Metamodeling Based Microprocessor Validation Environment. |
IEEE Trans. VLSI Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
A Trace-Based Framework for Verifiable GALS Composition of IPs. |
IEEE Trans. VLSI Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Verifying Compiler Based Refinement of BluespecTM. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker |
| 1 | Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty |
Formal Transformation of a KPN Specification to a GALS Implementation. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla |
Applying Verification Collaterals for Accurate Power Estimation. |
MTV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Grimm, Axel Jantsch, Sandeep Kumar Shukla, Eugenio Villar |
C-Based Design of Heterogeneous Embedded Systems. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Jacob B. Schwartz, Sumit Ahuja, Sandeep K. Shukla |
Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. |
J. Low Power Electronics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
EWD: A metamodeling driven customizable multi-MoC system modeling framework. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II |
| 1 | Gaurav Singh, Sandeep K. Shukla |
Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). |
IJES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandy Irani, Sandeep K. Shukla, Rajesh Gupta |
Algorithms for power savings. |
ACM Transactions on Algorithms |
2007 |
DBLP DOI BibTeX RDF |
dynamic speed scaling, online algorithms, Power savings |
| 1 | Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi |
Heterogeneous Behavioral Hierarchy Extensions for SystemC. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens |
Guest Editors' Introduction: GALS Design and Validation. |
IEEE Design & Test of Computers |
2007 |
DBLP DOI BibTeX RDF |
design, synchronous, validation, asynchronous |
| 1 | Edgar G. Daylight, Sandeep K. Shukla |
Local Causal Reasoning of a Safety-Critical Subway System. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
Type Inference for IP Composition. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
VT Matrix Multiply Design for MEMOCODE '07. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Twan Basten, Gabriel Juhás, Sandeep K. Shukla (eds.) |
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic |
ACSD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla |
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. |
Power-aware Computing Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Model-driven Validation of SystemC Designs. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla |
A Metamodeling based Framework for Architectural Modeling and Simulator Generation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja |
Model Based Test Generation for Microprocessor Architecture Validation. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Debayan Bhaduri, Sandeep K. Shukla, Paul Graham, Maya Gokhale |
Scalable techniques and tools for reliability analysis of large circuits. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar |
Design fault directed test generation for microprocessor validation. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla, Ajit Dingankar |
Assertion-Based Modal Power Estimation. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Model Checking Bluespec Specified Hardware Designs. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla |
Validating Families of Latency Insensitive Protocols. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
long interconnects, latency insensitive protocols, splitter, verification framework, Simulation, formal verification, merger, relay station |
| 1 | Ken S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin |
A Functional Programming Framework for Latency Insensitive Protocol Validation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla |
CARH: service-oriented architecture for validating system-level designs. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep K. Shukla, Carl Pixley, Gary Smith |
Guest Editors' Introduction: The True State of the Art of ESL Design. |
IEEE Design & Test of Computers |
2006 |
DBLP DOI BibTeX RDF |
ESL, electronic system-level design |
| 1 | Sandeep K. Shukla, Michael Theobald |
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil |
A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Low-power hardware synthesis from TRS-based specifications. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining Metadata for Composability of IPs from SystemC IP Library. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-based Visual Component Composition Framework. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Debayan Bhaduri, Sandeep K. Shukla, Deji Coker, Valerie Taylor, Paul Graham, Maya Gokhale |
A hybrid framework for design and analysis of fault-tolerant architectures. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi |
Heterogeneous behavioral hierarchy for system level designs. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Design with race-free hardware semantics. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Deep vs. Shallow, Kernel vs. Language--What is Better for Heterogeneous Modeling in {SystemC}?. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta |
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. |
International Journal of Parallel Programming |
2005 |
DBLP DOI BibTeX RDF |
verification, formal methods, program transformation, models of computation, Embedded system design |
| 1 | Sandeep K. Shukla, Jean-Pierre Talpin |
Guest editorial: Special issue on models and methodologies for co-design of embedded systems. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta |
Using probabilistic model checking for dynamic power management. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking |
| 1 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner |
XFM: An incremental methodology for developing formal models. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV |
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla |
Evaluating the reliability of NAND multiplexing with PRISM. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandy Irani, Gaurav Singh, Sandeep K. Shukla, Rajesh K. Gupta |
An overview of the competitive and adversarial approaches to designing dynamic power management strategies. |
IEEE Trans. VLSI Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Iris Bahar, Mehdi Baradaran Tahoori, Sandeep K. Shukla, Fabrizio Lombardi |
Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale. |
IEEE Design & Test of Computers |
2005 |
DBLP DOI BibTeX RDF |
nanoscale design, defect rates, reliability, verification, redundancy, Moore's Law |
| 1 | Hiren D. Patel, Sumit Gupta, Sandeep K. Shukla, Rajesh Gupta |
An Introductory Survey of Networked Embedded Systems. |
The Industrial Information Technology Handbook |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sandeep K. Shukla |
Teaching Game Theory for Computer Engineering. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta |
Improving SystemC simulation through Petri net reductions. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Extended abstract: a race-free hardware modeling language. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Rajesh Gupta, Alexandru Nicolau, Sandeep K. Shukla, Nalini Venkatasubramanian |
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
Modelling Environment for Heterogeneous Systems based on MoCs. |
FDL |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")