Search Sciweavers | Sciweavers

13917 search results - page 75 / 2784

» Abstraction of Probabilistic Systems

115

click to vote

ASPDAC
2007
ACM

82views Hardware» more ASPDAC 2007»

Abstract, Multifaceted Modeling of Embedded Processors for System Level Design

15 years 10 months ago

Download www.cecs.uci.edu

Gunar Schirner, Andreas Gerstlauer, Rainer Dö...

claim paper

Read More »

139

click to vote

ICDCS
2010
IEEE

168views Distributed And Parallel Com...» more ICDCS 2010»

Optimizing the Spatio-temporal Distribution of Cyber-Physical Systems for Environment Abstraction

15 years 10 months ago

Download wirelesslab.sjtu.edu.cn

Linghe Kong, Dawei Jiang, Min-You Wu

claim paper

Read More »

123

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

15 years 10 months ago

Download www.loria.fr

Guillaume Burel, Claude Kirchner

claim paper

Read More »

129

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 10 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

133

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers