Sciweavers

9018 search results - page 176 / 1804
» 3D-Brain Model Software
Sort
View
ISPASS
2010
IEEE
15 years 7 months ago
StatStack: Efficient modeling of LRU caches
The identification of the memory gap in terms of the relatively slow memory accesses put a focus on cache
David Eklov, Erik Hagersten
CODES
1999
IEEE
15 years 7 months ago
Designing digital video systems: modeling and scheduling
H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...
CODES
1998
IEEE
15 years 7 months ago
Modeling reactive systems in Java
Claudio Passerone, Roberto Passerone, Claudio Sans...
100
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts
William Chan, Richard J. Anderson, Paul Beame, Dav...
ASWSD
2006
Springer
15 years 7 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...