Sciweavers

5600 search results - page 816 / 1120
» Synthesizing robust systems
Sort
View
USENIX
2008
15 years 9 months ago
Perspectives:  Improving SSH-style Host Authentication with Multi-Path Probing
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
Dan Wendlandt, David G. Andersen, Adrian Perrig
CASES
2008
ACM
15 years 8 months ago
Dynamic coprocessor management for FPGA-enhanced compute platforms
Various commercial programmable compute platforms have their processor architecture enhanced with field-programmable gate arrays (FPGAs). In a common usage scenario, an applicatio...
Chen Huang, Frank Vahid
HIPEAC
2010
Springer
15 years 8 months ago
Virtual Ways: Efficient Coherence for Architecturally Visible Storage in Automatic Instruction Set Extensions
Abstract. Customizable processors augmented with application-specific Instruction Set Extensions (ISEs) have begun to gain traction in recent years. The most effective ISEs include...
Theo Kluter, Samuel Burri, Philip Brisk, Edoardo C...
DAGSTUHL
2007
15 years 8 months ago
Image-Based Motion Compensation for Structured Light Scanning of Dynamic Surfaces
: Many structured light scanning systems based on temporal pattern codification produce dense and robust results on static scenes but behave very poorly when applied to dynamic sc...
Stefan Gumhold, Sören König
LREC
2010
172views Education» more  LREC 2010»
15 years 8 months ago
Speech Grammars for Textual Entailment Patterns in Multimodal Question Answering
Over the last several years, speech-based question answering (QA) has become very popular in contrast to pure search engine based approaches on a desktop. Open-domain QA systems a...
Daniel Sonntag, Bogdan Sacaleanu