7139 search results - page 858 / 1428 » Language Engineering in Practice |
200
click to vote
TAICPART
2006
IEEE
16 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
197
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
Structural hints in XML-retrieval queries can be used to specify both the granularity of the search result (the target element) and where in a document to search (support elements...
206
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
181
click to vote
PASTE
2005
ACM
16 years 24 days ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
233
click to vote
AADEBUG
2005
Springer
16 years 23 days 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...