Sciweavers

9018 search results - page 246 / 1804
» 3D-Brain Model Software
Sort
View
CASES
2003
ACM
16 years 15 days ago
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip
Peter Poplavko, Twan Basten, Marco Bekooij, Jef L....
EUROMICRO
2002
IEEE
16 years 6 days ago
Local Components and Reuse of Legacy Code in the CORBA Component Model
Egon Teiniker, Stefan Mitterdorfer, Christian Krei...
SFM
2004
Springer
16 years 17 days ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
KBSE
2002
IEEE
16 years 4 days ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...