Sciweavers

2623 search results - page 72 / 525
» tools 2010
Sort
View
RTAS
2010
IEEE
15 years 4 months ago
DARTS: Techniques and Tools for Predictably Fast Memory Using Integrated Data Allocation and Real-Time Task Scheduling
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
Sangyeol Kang, Alexander G. Dean
SP
2010
IEEE
220views Security Privacy» more  SP 2010»
15 years 10 months ago
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
Tielei Wang, Tao Wei, Guofei Gu, Wei Zou
RTA
2010
Springer
15 years 10 months ago
Optimizing mkbTT
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Mas...
CCR
2010
110views more  CCR 2010»
15 years 6 months ago
Measurement lab: overview and an invitation to the research community
Measurement Lab (M-Lab) is an open, distributed server platform for researchers to deploy active Internet measurement tools. The goal of M-Lab is to advance network research and e...
Constantine Dovrolis, P. Krishna Gummadi, Aleksand...
LREC
2010
149views Education» more  LREC 2010»
15 years 7 months ago
The Lefff, a Freely Available and Large-coverage Morphological and Syntactic Lexicon for French
In this paper, we introduce the Lefff, a freely available, accurate and large-coverage morphological and syntactic lexicon for French, used in many NLP tools such as large-coverag...
Benoît Sagot