Sciweavers

7202 search results - page 137 / 1441
» Software System Engineering: A Tutorial
Sort
View
113
Voted
SEW
2006
IEEE
16 years 4 days ago
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
SEW
2005
IEEE
15 years 11 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
15 years 11 months ago
Compiler-assisted demand paging for embedded systems with flash memory
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, ...