6274 search results - page 861 / 1255 » Proofs, Programs, Processes |
143
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
151
Voted
ECLIPSE
2006
ACM
15 years 9 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
143
Voted
SI3D
2006
ACM
15 years 9 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...
129
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
137
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...