2056 search results - page 210 / 412 » Detecting Errors in Spreadsheets |
143
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
168
click to vote
QSIC
2007
IEEE
16 years 25 days ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
117
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
In IP-based TV distribution, coding degradation is sometimes evident in critical scenes because the bit rate for compression is rather low. Prefiltering is an effective counterme...
139
click to vote
VTC
2006
IEEE
16 years 17 days ago
2006
IEEE
—This paper focuses on the usage of an enhanced equalization-based receiver for WCDMA (Wideband CodeDivision Multiple Access) MIMO (Multiple Input, Multiple Output) BLAST (Bell L...
198
click to vote
RTSS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...