217 search results - page 33 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
187
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
139
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...
160
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
171
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
159
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...