3090 search results - page 586 / 618 » On Testing Answer-Set Programs |
134
click to vote
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
151
click to vote
ECRTS
2005
IEEE
15 years 7 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
106
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
116
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
125
click to vote
IUI
2005
ACM
15 years 7 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...