7393 search results - page 1088 / 1479 » Synthesis-for-testability using transformations |
122
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Even Haskell programs can occasionally go wrong. Programs calling head on an empty list, and incomplete patterns in function definitions can cause program crashes, reporting littl...
153
click to vote
ASAP
2008
IEEE
15 years 11 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
141
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we study the problem of distributed detection in the presence of unknown carrier frequency offset (CFO) and initial phase, the issue we encounter in the emerging...
131
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
123
click to vote
DASFAA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Advances in sensing and satellite technologies and the growth of Internet have resulted in the easy accessibility of vast amount of spatial data. Extracting useful knowle...