Search Sciweavers | Sciweavers

9018 search results - page 176 / 1804

» 3D-Brain Model Software

155

Voted

ISPASS
2010
IEEE

177views Software Engineering» more ISPASS 2010»

StatStack: Efficient modeling of LRU caches

15 years 11 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 »

104

click to vote

CODES
1999
IEEE

95views Software Engineering» more CODES 1999»

Designing digital video systems: modeling and scheduling

15 years 11 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

136

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 11 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

141

Voted

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

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

15 years 11 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

175

Voted

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