2056 search results - page 108 / 412 » Detecting Errors in Spreadsheets |
TPHOL
1993
IEEE
15 years 2 months ago
1993
IEEE
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other ...
ICCL
1992
IEEE
15 years 2 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
AMI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
SIGCOMM
2000
ACM
15 years 2 months ago
2000
ACM
Traces of Internet packets from the past two years show that between 1 packet in 1,100 and 1 packet in 32,000 fails the TCP checksum, even on links where link-level CRCs should ca...
ICPR
2010
IEEE
15 years 2 days ago
2010
IEEE
We propose a general framework for simultaneous segmentation and modelling of signals based on an Equipartition Principle (EP). According to EP, the signal is divided into segment...