Sciweavers

169 search results - page 18 / 34
» Modeling Complex Flows for Worst-Case Execution Time Analysi...
Sort
View
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
14 years 9 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
ACRI
2006
Springer
15 years 5 months ago
Improved Cell-DEVS Models for Fire Spreading Analysis
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
Matthew MacLeod, Rachid Chreyh, Gabriel A. Wainer
CODES
2008
IEEE
15 years 1 months ago
Slack analysis in the system design loop
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
Girish Venkataramani, Seth Copen Goldstein
ICPP
2007
IEEE
15 years 6 months ago
Architectural Challenges in Memory-Intensive, Real-Time Image Forming
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
Anders Ahlander, H. Hellsten, K. Lind, J. Lindgren...
TII
2008
98views more  TII 2008»
14 years 11 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux