Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model-Driven Validation of SystemC Designs.

H. Patel, und S. Shukla. EURASIP J. Emb. Sys., (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

K. Stahl

Sandeep Vidyapu University of Stuttgart

K. Gaiser

K. Lindow

Grzegorz K. Karch

Weitere Publikationen von Autoren mit dem selben Namen

A New Heuristic for Bad Cycle Detection Using BDDs.R. Hardin, R. Kurshan, S. Shukla, und M. Vardi. Formal Methods in System Design, 18 (2): 131-140 (2001)Validating Families of Latency Insensitive Protocols.S. Suhaib, D. Mathaikutty, D. Berner, und S. Shukla. IEEE Trans. Computers, 55 (11): 1391-1401 (2006)Formal Refinement Checking in a System-level Design Methodology.J. Talpin, P. Guernic, S. Shukla, F. Doucet, und R. Gupta. Fundam. Inform., 62 (2): 243-273 (2004)Towards Behavioural Hierarchy Extensions for SystemC.H. Patel, und S. Shukla. FDL, Seite 361-373. ECSI, (2005)A Functional Programming Framework of Heterogeneous Model of Computation for System Design.D. Mathaikutty, H. Patel, und S. Shukla. FDL, Seite 586-598. ECSI, (2004)A hybrid framework for design and analysis of fault-tolerant architectures.D. Bhaduri, S. Shukla, D. Coker, V. Taylor, P. Graham, und M. Gokhale. DATE, Seite 335-336. European Design and Automation Association, Leuven, Belgium, (2006)A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.H. Patel, S. Shukla, E. Mednick, und R. Nikhil. MEMOCODE, Seite 39-48. IEEE Computer Society, (2006)Algorithms for power savings.S. Irani, S. Shukla, und R. Gupta. SODA, Seite 37-46. ACM/SIAM, (2003)Analysis of scheduled Latency insensitive systems with periodic clock calculus.B. Xue, und S. Shukla. HLDVT, Seite 1-7. IEEE Computer Society, (2009)Nano, quantum, and molecular computing: are we ready for the validation and test challenges?S. Shukla, R. Karri, S. Goldstein, F. Brewer, K. Banerjee, und S. Basu. HLDVT, Seite 3-7. IEEE Computer Society, (2003)