1760 search results - page 202 / 352 » A System to Mark Programs Automatically |
LREC
2008
15 years 4 months ago
2008
In languages that use diacritical characters, if these special signs are stripped-off from a word, the resulted string of characters may not exist in the language, and therefore i...
146
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...
121
click to vote
TSD
2010
Springer
15 years 1 months ago
2010
Springer
Modern speech recognition applications are becoming very complex program packages. To understand the error behaviour of the ASR systems, a special diagnosis - a procedure or a tool...
143
click to vote
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
113
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...