2251 search results - page 58 / 451 » Specification and Implementation Problems for C |
235
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In recent years, several algorithms for controlling cognitive radio platforms have been proposed. In this paper, we review the existing approaches that have been developed for ...
109
click to vote
ICT
2004
Springer
15 years 8 months ago
2004
Springer
The active networks approach has been presented as an alternative technology for solving several problems in conventional networks, mainly in the network management area. This work...
127
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a parallel algorithm for performing multipoint linkage analysis of genetic marker data on large family pedigrees. The algorithm effectively distributes both the computa...
116
Voted
IWMM
1992
Springer
15 years 7 months ago
1992
Springer
A purely functional le system has been built on top of pure Scheme. It provides persistent structures and massive storage expected of le systems, without explicit side-e ects like ...