Sciweavers

7380 search results - page 147 / 1476
» Engineering Software Intensive Systems
Sort
View
SEW
2006
IEEE
14 years 4 months ago
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
SEW
2005
IEEE
14 years 3 months ago
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...
EMSOFT
2004
Springer
14 years 3 months ago
Compiler-assisted demand paging for embedded systems with flash memory
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, ...