Search Sciweavers | Sciweavers

9006 search results - page 158 / 1802

» Modeling Software

145

click to vote

ISPASS
2010
IEEE

177views Software Engineering» more ISPASS 2010»

StatStack: Efficient modeling of LRU caches

15 years 10 months ago

Download www.it.uu.se

The identification of the memory gap in terms of the relatively slow memory accesses put a focus on cache

David Eklov, Erik Hagersten

claim paper

Read More »

click to vote

CODES
1999
IEEE

95views Software Engineering» more CODES 1999»

Designing digital video systems: modeling and scheduling

15 years 10 months ago

Download www.cecs.uci.edu

H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...

claim paper

Read More »

120

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 10 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

131

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 10 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

158

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers