Sciweavers

3373 search results - page 57 / 675
» Operating Systems for FPGA Based Computers and Their Memory
Sort
View
SPIN
2010
Springer
13 years 6 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
TPDS
2010
260views more  TPDS 2010»
13 years 6 months ago
Real-Time Modeling of Wheel-Rail Contact Laws with System-On-Chip
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
Yongji Zhou, T. X. Mei, Steven Freear
ERSA
2003
147views Hardware» more  ERSA 2003»
13 years 9 months ago
Towards Run-Time Re-Configurable Techniques for Real-Time Embedded Applications
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...
Timothy F. Oliver, Douglas L. Maskell
HAPTICS
2005
IEEE
14 years 1 months ago
A FPGA Haptics Controller
Wearable haptics necessitates using low power, small, inexpensive tactors that are typically used as pager motors in cellular phones. One of their limitations is that it appears t...
Marc Holbein, John S. Zelek
RTCSA
2007
IEEE
14 years 2 months ago
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
Guillaume Salagnac, Christophe Rippert, Sergio Yov...