6149 search results - page 837 / 1230 » Revealing the programming process |
222
click to vote
KBSE
2006
IEEE
16 years 27 days 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...
199
click to vote
ECLIPSE
2006
ACM
16 years 26 days 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...
193
click to vote
SI3D
2006
ACM
16 years 25 days 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...
177
click to vote
DATE
2005
IEEE
16 years 15 days 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...
171
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
—Unknown protein sequences are often compared to a set of known sequences (a database scan) to detect functional similarities. Even though efficient dynamic programming algorithm...