Sciweavers

4604 search results - page 642 / 921
» Concurrency in Synchronous Systems
Sort
View
RTS
2008
131views more  RTS 2008»
15 years 11 days ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
ACL
2010
14 years 11 months ago
Pseudo-Word for Phrase-Based Machine Translation
The pipeline of most Phrase-Based Statistical Machine Translation (PB-SMT) systems starts from automatically word aligned parallel corpus. But word appears to be too fine-grained ...
Xiangyu Duan, Min Zhang, Haizhou Li
ICMI
2010
Springer
160views Biometrics» more  ICMI 2010»
14 years 11 months ago
Facilitating multiparty dialog with gaze, gesture, and speech
We study how synchronized gaze, gesture and speech rendered by an embodied conversational agent can influence the flow of conversations in multiparty settings. We review a computa...
Dan Bohus, Eric Horvitz
ICC
2009
IEEE
124views Communications» more  ICC 2009»
14 years 10 months ago
An Iterative List-Based Multiuser Detector for Overloaded Receivers in a Rayleigh Fading Channel
We consider a wireless communication system where multiple co-channel users transmit data via a synchronous, frequency-flat Rayleigh fading channel. The receiver employs an antenna...
Michael Krause, Desmond P. Taylor, Philippa A. Mar...
ICCAD
2009
IEEE
113views Hardware» more  ICCAD 2009»
14 years 10 months ago
A performance analytical model for Network-on-Chip with constant service time routers
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
Nikita Nikitin, Jordi Cortadella