Sciweavers

4890 search results - page 595 / 978
» From system specifications to component behavioral models
Sort
View
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 11 months ago
CRUSADE: Hardware/Software Co-Synthesis of Dynamically Reconfigurable Heterogeneous Real-Time Distributed Embedded Systems
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
Bharat P. Dav
VTC
2007
IEEE
103views Communications» more  VTC 2007»
16 years 1 months ago
On the Problems of Symbol-Spaced Tapped-Delay-Line Models for WSSUS Channels
—This paper reviews the pertinence and statistical behavior of symbol-spaced tapped-delay-line (TDL) models which are widely used to model wide-sense stationary uncorrelated scat...
Carlos A. Gutiérrez-Díaz-de-Le&oacut...
SIGMOD
2007
ACM
166views Database» more  SIGMOD 2007»
16 years 7 months ago
Threats to privacy in the forensic analysis of database systems
The use of any modern computer system leaves unintended traces of expired data and remnants of users' past activities. In this paper, we investigate the unintended persistenc...
Patrick Stahlberg, Gerome Miklau, Brian Neil Levin...
211
Voted
SIGSOFT
2003
ACM
16 years 2 days ago
Refinements and multi-dimensional separation of concerns
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
Don S. Batory, Jia Liu, Jacob Neal Sarvela
ICPP
2006
IEEE
16 years 26 days ago
Performance Modeling based on Multidimensional Surface Learning for Performance Predictions of Parallel Applications in Non-Dedi
Modeling the performance behavior of parallel applications to predict the execution times of the applications for larger problem sizes and number of processors has been an active ...
Jay Yagnik, H. A. Sanjay, Sathish S. Vadhiyar