4636 search results - page 305 / 928 » Modelling and Validation with VipTool |
130
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
A cache access time model, PRACTICS (PRedictor of Access and Cycle TIme for Cache Stack), has been developed to optimize the memory array architecture for the minimum access and c...
116
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
109
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
—Design of a flapping mechanism for flapping wing micro air vehicles (FWMAV) is presented based on a mathematical model of insect thorax. This model also includes an aerodynami...
131
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents an analytical model of steady state throughput of the Slow-but-Steady variant of TCP NewReno as a function of loss event rate, average number of segments lo...
133
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...