Sciweavers

21437 search results - page 393 / 4288
» Hardware
Sort
View
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 1 months ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
ICES
2007
Springer
104views Hardware» more  ICES 2007»
16 years 1 months ago
An Online EHW Pattern Recognition System Applied to Sonar Spectrum Classification
Kyrre Glette, Jim Torresen, Moritoshi Yasunaga
IWMM
2007
Springer
90views Hardware» more  IWMM 2007»
16 years 1 months ago
A correct and useful incremental copying garbage collector
Martin Kero, Johan Nordlander, Per Lindgren
IWMM
2007
Springer
82views Hardware» more  IWMM 2007»
16 years 1 months ago
Stopless: a real-time garbage collector for multiprocessors
Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne...