3400 search results - page 146 / 680 » tools 2008 |
167
click to vote
ISCA
2008
IEEE
16 years 26 days ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...
160
click to vote
LREC
2008
15 years 7 months ago
2008
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...
184
click to vote
ECEASST
2008
15 years 6 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
189
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
165
click to vote
QEST
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...