Sciweavers

1234 search results - page 116 / 247
» A Scheduling and Pipelining Algorithm for Hardware Software ...
Sort
View
ICESS
2005
Springer
14 years 1 months ago
Support Industrial Hard Real-Time Traffic with Switched Ethernet
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
Alimujiang Yiming, Toshio Eisaka
ATAL
2005
Springer
14 years 1 months ago
AgentSteel: an agent-based online system for the planning and observation of steel production
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
Sven Jacobi, Cristián Madrigal-Mora, Esteba...
LCTRTS
2009
Springer
14 years 2 months ago
A compiler optimization to reduce soft errors in register files
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
Jongeun Lee, Aviral Shrivastava
EUROSYS
2008
ACM
13 years 9 months ago
Efficient guaranteed disk request scheduling with fahrrad
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
Anna Povzner, Tim Kaldewey, Scott A. Brandt, Richa...
KBSE
2009
IEEE
14 years 2 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...