10159 search results - page 359 / 2032 » System Design Validation Using Formal Models |
110
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an analysis of the major mechanical component (the thorax) of the micromechanical flying insect (MFI), a centimeter sized aerial vehicle currently in developm...
127
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
136
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
131
click to vote
DSRT
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
122
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...