Sciweavers

1243 search results - page 181 / 249
» FPZL Schedulability Analysis
Sort
View
FDL
2006
IEEE
15 years 6 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
15 years 6 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
ICW
2005
IEEE
136views Communications» more  ICW 2005»
15 years 6 months ago
A QoS Provisioned CIOQ Packet Switch Using Crossbar Structure with m Internal Links
A QoS provisioned CIOQ switch using crossbar structure with m parallel lines per output port is proposed in this paper. The packets at input buffers are transferred to the output ...
Carlos Roberto dos Santos, Shusaburo Motoyama
123
Voted
STACS
2005
Springer
15 years 6 months ago
Worst-Case and Average-Case Approximations by Simple Randomized Search Heuristics
Abstract. In recent years, probabilistic analyses of algorithms have received increasing attention. Despite results on the average-case complexity and smoothed complexity of exact ...
Carsten Witt
85
Voted
APLAS
2004
ACM
15 years 6 months ago
Network Fusion
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
Pascal Fradet, Stéphane Hong Tuan Ha