Sciweavers

6308 search results - page 422 / 1262
» Modeling Urgency in Timed Systems
Sort
View
174
Voted
NAACL
2003
15 years 8 months ago
Implicit Trajectory Modeling through Gaussian Transition Models for Speech Recognition
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...
Hua Yu, Tanja Schultz
WCET
2008
15 years 8 months ago
Applying WCET Analysis at Architectural Level
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
Olivier Gilles, Jérôme Hugues
AOSD
2009
ACM
15 years 9 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
JSAC
2010
88views more  JSAC 2010»
15 years 5 months ago
Modeling broadcasting using omnidirectional and directional antenna in delay tolerant networks as an epidemic dynamics
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
Fernando Peruani, A. Maiti, Sanjib Sadhu, Hugues C...
136
Voted
WORDS
2003
IEEE
16 years 2 days ago
An Adaptive Fault-Tolerant Component Model
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
Joni da Silva Fraga, Frank Siqueira, Fábio ...