Sciweavers

4836 search results - page 266 / 968
» Exploring the Similarity Space
Sort
View
CAV
2010
Springer
201views Hardware» more  CAV 2010»
15 years 10 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang
NIPS
2007
15 years 8 months ago
Random Features for Large-Scale Kernel Machines
To accelerate the training of kernel machines, we propose to map the input data to a randomized low-dimensional feature space and then apply existing fast linear methods. The feat...
Ali Rahimi, Benjamin Recht
ACL
2010
15 years 4 months ago
Arabic Named Entity Recognition: Using Features Extracted from Noisy Data
Building an accurate Named Entity Recognition (NER) system for languages with complex morphology is a challenging task. In this paper, we present research that explores the featur...
Yassine Benajiba, Imed Zitouni, Mona T. Diab, Paol...
CLUSTER
2008
IEEE
16 years 1 months ago
High message rate, NIC-based atomics: Design and performance considerations
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
Keith D. Underwood, Michael Levenhagen, K. Scott H...
ACMDIS
2010
ACM
15 years 4 months ago
Ideation decks: a card-based design ideation tool
Ideation Decks is a project that explores the development of a methodological tool for design ideation. It involves the creation and use of bespoke project-specific card based sys...
Michael Golembewski, Mark Selby