Sciweavers

15155 search results - page 319 / 3031
» System Software
Sort
View
SEW
2006
IEEE
16 years 21 days ago
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
SEW
2005
IEEE
16 years 8 days 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
16 years 2 days ago
Compiler-assisted demand paging for embedded systems with flash memory
Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, ...
MSR
2010
ACM
15 years 11 months ago
Perspectives on bugs in the Debian bug tracking system
—Bugs in Debian differ from regular software bugs. They are usually associated with packages, instead of software modules. They are caused and fixed by source package uploads in...
Julius Davies, Hanyu Zhang, Lucas Nussbaum, Daniel...