26496 search results - page 330 / 5300 » An Approach to Computing Ethics |
148
click to vote
TLCA
1999
Springer
15 years 11 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
180
click to vote
DAC
1991
ACM
15 years 10 months ago
1991
ACM
-Conventionallyself-test hardware is added after synthesis is completed. For highly sequential circuits like controllersthis design method eitherleads to high hardware overheadsor ...
150
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper describes an estimation and representation method for object structure in 3D image data. A windowed Fourier transform is used to estimate the parameters of 3D local str...
168
click to vote
VIP
2003
15 years 8 months ago
2003
Over the last couple of decades, more and more presentations are done on computer screen. The need to store or broadcast such presentation efficiently is in high demand across dif...
142
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...