Sciweavers

21437 search results - page 357 / 4288
» Hardware
Sort
View
DATE
2009
IEEE
92views Hardware» more  DATE 2009»
16 years 1 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening
DATE
2009
IEEE
72views Hardware» more  DATE 2009»
16 years 1 months ago
SC-DEVS: An efficient SystemC extension for the DEVS model of computation
Felix Madlener, H. Gregor Molter, Sorin A. Huss
DATE
2009
IEEE
156views Hardware» more  DATE 2009»
16 years 1 months ago
A case for multi-channel memories in video recording
Eero Aho, Jari Nikara, Petri A. Tuominen, Kimmo Ku...
DATE
2009
IEEE
109views Hardware» more  DATE 2009»
16 years 1 months ago
The influence of real-time constraints on the design of FlexRay-based systems
Stephan Reichelt, Oliver Scheickl, Gökhan Tab...