217 search results - page 33 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
133
Voted
SCESM
2006
ACM
15 years 6 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...
84
Voted
DATE
2010
IEEE
15 years 5 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...
ISER
2004
Springer
15 years 5 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 ...
106
Voted
VLSID
2002
IEEE
16 years 25 days 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...
103
click to vote
IPSN
2004
Springer
15 years 5 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...