1760 search results - page 160 / 352 » A System to Mark Programs Automatically |
197
click to vote
ASE
2005
15 years 6 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
216
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
186
click to vote
ISCA
1994
IEEE
15 years 10 months ago
1994
IEEE
We comparethe performance of software-supported shared memory on a general-purpose network to hardware-supported shared memory on a dedicated interconnect. Up to eight processors,...
159
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a computer vision system for robust object tracking in 3D by combining evidence from multiple calibrated cameras. This kernel-based 3D tracker is automatically bootstra...
175
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...