3384 search results - page 154 / 677 » More Testable Properties |
ICASSP
2011
IEEE
13 years 21 days ago
2011
IEEE
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
BIRTHDAY
2012
Springer
12 years 4 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
DCC
2003
IEEE
14 years 8 months ago
2003
IEEE
: This paper proposes a new algorithm referred to as the Wavelet Packet-based Embedded Block coding (WPEB) scheme for SAR data compression. This algorithm combines the following pr...