SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Shukla Sandeep Kumar) "

Sökning: WFRF:(Shukla Sandeep Kumar)

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Mousavi, Mohammad Reza, 1978-, et al. (författare)
  • Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
  • 2004
  • Ingår i: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04), Volume 1. - Los Alamitos, CA : IEEE Computer Society. - 0769520855 ; , s. 384-389
  • Konferensbidrag (refereegranskat)abstract
    • We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using synchronous simulation and model-checking toolkits. Our approach can be summarized as automatic transformation of a design consisting of two asynchronously composed synchronous components into a fully synchronous multi-clock model preserving behavioral equivalence. The ultimate goal of this research is to provide the ability to model and build GALS systems in a fully synchronous design framework and deploy it on an asynchronous network preserving all properties of the system proven in the synchronous framework.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Mousavi, Mohammad Re ... (1)
Le Guernic, Paul (1)
Talpin, Jean-Pierre (1)
Shukla, Sandeep Kuma ... (1)
Basten, Twan (1)
Lärosäte
Högskolan i Halmstad (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2004 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy