1760 search results - page 160 / 352 » A System to Mark Programs Automatically |
154
click to vote
ASE
2005
15 years 3 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
161
click to vote
ACL2
2006
ACM
15 years 9 months 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...
142
click to vote
ISCA
1994
IEEE
15 years 7 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,...
122
click to vote
CVPR
2007
IEEE
16 years 5 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...
124
click to vote
HICSS
2007
IEEE
15 years 9 months 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...