576 search results - page 42 / 116 » Model composition for scheduling analysis in platform design |
BALT
2008
13 years 11 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
AR
2007
13 years 9 months ago
2007
Neurodevelopmental Engineering is a new interdisciplinary research area at the intersection of developmental neuroscience and bioengineering, mainly concerned with quantitative an...
MCS
2007
Springer
13 years 8 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
LAWEB
2006
IEEE
14 years 3 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
FASE
2006
Springer
14 years 21 days ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...