Sciweavers

2623 search results - page 72 / 525
» tools 2010
Sort
View
RTAS
2010
IEEE
13 years 8 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»
14 years 1 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
14 years 1 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»
13 years 10 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»
13 years 11 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