Search Sciweavers | Sciweavers

9006 search results - page 158 / 1802

» Modeling Software

122

Voted

ISPASS
2010
IEEE

177views Software Engineering» more ISPASS 2010»

StatStack: Efficient modeling of LRU caches

15 years 9 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 9 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

103

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 9 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

112

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 9 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

140

click to vote

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers