Sciweavers

166 search results - page 23 / 34
» Timed Behavior Trees and Their Application to Verifying Real...
Sort
View
RTS
2010
127views more  RTS 2010»
13 years 3 months ago
Scheduling of hard real-time garbage collection
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
Martin Schoeberl
CL
2008
Springer
13 years 8 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
CHI
2010
ACM
14 years 1 months ago
Estimating residual error rate in recognized handwritten documents using artificial error injection
Both handwriting recognition systems and their users are error prone. Handwriting recognizers make recognition errors, and users may miss those errors when verifying output. As a ...
Edward Lank, Ryan Stedman, Michael Terry
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
14 years 2 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
TIP
2010
312views more  TIP 2010»
13 years 7 months ago
A Novel Multiresolution Spatiotemporal Saliency Detection Model and Its Applications in Image and Video Compression
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
Chenlei Guo, Liming Zhang