Sciweavers

15253 search results - page 310 / 3051
» Integer-Programming Software Systems
Sort
View
CBSE
2007
Springer
16 years 28 days ago
Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems
Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...
SEW
2006
IEEE
16 years 23 days ago
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
SEW
2005
IEEE
16 years 9 days ago
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...