Sciweavers

2343 search results - page 364 / 469
» MedModel - Healthcare Simulation Software
Sort
View
ARCS
2006
Springer
14 years 1 months ago
Scalable and Partitionable Asynchronous Arbiter for Micro-threaded Chip Multiprocessors
Abstract. This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results usin...
Nabil Hasasneh, Ian Bell, Chris R. Jesshope
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
14 years 1 months ago
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
Taeweon Suh, Douglas M. Blough, Hsien-Hsin S. Lee
EUROMICRO
2004
IEEE
14 years 1 months ago
Determination of Aggregation Points in Wireless Sensor Networks
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
Utz Roedig, André M. Barroso, Cormac J. Sre...
FASE
2004
Springer
14 years 1 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
FOSSACS
2006
Springer
14 years 1 months ago
Bigraphical Models of Context-Aware Systems
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
Lars Birkedal, Søren Debois, Ebbe Elsborg, ...