Sciweavers

3199 search results - page 479 / 640
» Variability in Automation System Models
Sort
View
154
Voted
DAC
2006
ACM
16 years 7 months ago
Synthesis of high-performance packet processing pipelines
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
Cristian Soviani, Ilija Hadzic, Stephen A. Edwards
186
Voted
DAC
2006
ACM
16 years 7 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
327
Voted
ICLP
2009
Springer
16 years 7 months ago
Answer Set Programming for Single-Player Games in General Game Playing
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
Michael Thielscher
192
Voted
CHI
2006
ACM
16 years 7 months ago
Making memories: applying user input logs to interface design and evaluation
In this paper, we describe our approach to designing interface components that automate the logging of user input. These recorded logs of user-system interactions can serve as a b...
Tamara Babaian, Wendy T. Lucas, Heikki Topi
156
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Deploying GOOG-411: Early lessons in data, measurement, and testing
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
Michiel Bacchiani, Françoise Beaufays, Joha...