Sciweavers

262 search results - page 34 / 53
» Static timing analysis for modeling QoS in networks-on-chip
Sort
View
APSEC
2005
IEEE
14 years 1 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
IVC
2010
95views more  IVC 2010»
13 years 6 months ago
Monocular head pose estimation using generalized adaptive view-based appearance model
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness, meeting analysis and human-robot...
Louis-Philippe Morency, Jacob Whitehill, Javier R....
OOPSLA
2005
Springer
14 years 1 months ago
GOOAL: an educational object oriented analysis laboratory
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
Hector G. Pérez-González, Jugal K. K...
APNOMS
2006
Springer
13 years 11 months ago
Performance Analysis of an Adaptive Soft Handoff Algorithm for Mobile Cellular Systems
In this paper, an adaptive soft handoff algorithm, which dynamically calculates the threshold values for soft handoff based on the received signal strength, is proposed for mobile ...
Huamin Zhu, Kyung Sup Kwak
EDBT
2011
ACM
225views Database» more  EDBT 2011»
12 years 11 months ago
On (not) indexing quadratic form distance by metric access methods
The quadratic form distance (QFD) has been utilized as an effective similarity function in multimedia retrieval, in particular, when a histogram representation of objects is used...
Tomás Skopal, Tomás Bartos, Jakub Lo...