Sciweavers

104 search results - page 1 / 21
» A Language for Describing Predictors and Its Application to ...
Sort
View
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
13 years 8 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
OOPSLA
2010
Springer
13 years 3 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
13 years 9 months ago
Automatic Selection of Visemes for Image-Based Visual Speech Synthesis
An image-based approach provides an efficient way for visual speech synthesis. In an image-based visual speech synthesis system, a few lip images, namely visemes, are used for ge...
Jie Yang, Jing Xiao, Max Ritter
LCTRTS
2010
Springer
13 years 11 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
ICWL
2007
Springer
13 years 10 months ago
A Cloze Test Authoring System and Its Automation
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
Ayako Hoshino, Hiroshi Nakagawa