Sciweavers

235 search results - page 6 / 47
» Online Embeddings
Sort
View
EMSOFT
2005
Springer
15 years 5 months ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
COLT
2006
Springer
15 years 3 months ago
Online Tracking of Linear Subspaces
We address the problem of online de-noising a stream of input points. We assume that the clean data is embedded in a linear subspace. We present two online algorithms for tracking ...
Koby Crammer
ECRTS
2009
IEEE
14 years 9 months ago
On-Line Scheduling Algorithm for the Gravitational Task Model
Some applications for real-time scheduling have target demands in addition to the commonly used starttime and deadline constraints: a task should be executed at a target point in ...
Raphael Guerra, Gerhard Fohler
RTAS
2005
IEEE
15 years 5 months ago
Practical On-line DVS Scheduling for Fixed-Priority Real-Time Systems
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
Bren Mochocki, Xiaobo Sharon Hu, Gang Quan
VLSID
2007
IEEE
97views VLSI» more  VLSID 2007»
15 years 6 months ago
Embedded Support Vector Machine : Architectural Enhancements and Evaluation
In recent years, research and development in the field of machine learning and classification techniques have gained paramount importance. The future generation of intelligent e...
Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam B...