Sciweavers

9018 search results - page 246 / 1804
» 3D-Brain Model Software
Sort
View
100
Voted
CASES
2003
ACM
15 years 10 months ago
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip
Peter Poplavko, Twan Basten, Marco Bekooij, Jef L....
EUROMICRO
2002
IEEE
15 years 9 months ago
Local Components and Reuse of Legacy Code in the CORBA Component Model
Egon Teiniker, Stefan Mitterdorfer, Christian Krei...
135
Voted
SFM
2004
Springer
15 years 10 months 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
15 years 9 months 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 ...