1710 search results - page 239 / 342 » High-Level Programs and Program Conditions |
SUTC
2006
IEEE
14 years 3 months ago
2006
IEEE
– We describe a network of sensors linked by software and the internet to an autonomous satellite observation response capability. This system of systems is designed with a flexi...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
SI3D
2006
ACM
14 years 3 months ago
2006
ACM
We present an effective method for automatically selecting the appropriate scale of shape features that are depicted when rendering a 3D mesh in the style of a line drawing. The m...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
Code placement techniques have traditionally improved instruction fetch bandwidth by increasing instruction locality and decreasing the number of taken branches. However, traditio...
AADEBUG
2005
Springer
14 years 3 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...