Sciweavers

981 search results - page 38 / 197
» Switch Scheduling and Network Design for Real-Time Systems
Sort
View
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
14 years 4 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
HIPC
2003
Springer
14 years 4 months ago
Designing SANs to Support Low-Fanout Multicasts
Abstract. System area networks (SANs) need to support low-fanout multicasts efficiently in addition to broadcasts and unicasts. A critical component in SANs is the switch, which i...
Rajendra V. Boppana, Rajesh Boppana, Suresh Chalas...
ENTCS
2007
178views more  ENTCS 2007»
13 years 10 months ago
Recent Advances in Real-Time Maude
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
Peter Csaba Ölveczky, José Meseguer
ICANN
2005
Springer
14 years 4 months ago
A Real-Time, FPGA Based, Biologically Plausible Neural Network Processor
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
Martin J. Pearson, Ian Gilhespy, Kevin N. Gurney, ...
PDP
2005
IEEE
14 years 4 months ago
Rendezvous: An Alternative Approach to Conflict Resolution for Real Time Multi-User Applications
Up until now little support has been provided for shared state systems in environments with highly unpredictable network connections, such as mobile networks. Shared state conflic...
Angie Chandler, Joe Finney