622 search results - page 38 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
MSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Phoenix is a fault-tolerantreal-time network-attachedstorage device (NASD). Like other NASD architectures, Phoenix provides an object-based interface to data stored on network-att...
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
ESANN
1998
13 years 10 months ago
1998
We describe a new approach to real time learning of unknown functions based on an interpolating wavelet estimation. We choose a subfamily of a wavelet basis relying on nested hiera...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time ...