Sciweavers

2663 search results - page 268 / 533
» The Design, Implementation, and Evaluation of Jade
Sort
View
CHI
2006
ACM
15 years 8 months ago
Shaping user input in speech graffiti: a first pass
Speech Graffiti is a standardized interaction protocol for spoken dialog systems designed to address some common difficulties with ASR. We have proposed a strategy of shaping to h...
Stefanie Tomko, Roni Rosenfeld
CC
2008
Springer
240views System Software» more  CC 2008»
15 years 8 months ago
Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
Etienne Bergeron, Marc Feeley, Jean-Pierre David
CONEXT
2008
ACM
15 years 8 months ago
Trellis: a platform for building flexible, fast virtual networks on commodity hardware
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...
Sapan Bhatia, Murtaza Motiwala, Wolfgang Mühl...
SERSCISA
2010
Springer
15 years 8 months ago
HATS: High Accuracy Timestamping System Based on NetFPGA
The delay and dispersion of the packet train have been widely used in most network measurement tools. The timestamp of the packet is critical for the measurement accuracy. However...
Zhiqiang Zhou, Lin Cong, Guohan Lu, Beixing Deng, ...
FORTE
2008
15 years 8 months ago
Model Generation for Horn Logic with Stratified Negation
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
Ethan K. Jackson, Wolfram Schulte