3914 search results - page 53 / 783 » Automating SLA modeling |
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
ICRA
2003
IEEE
14 years 29 days ago
2003
IEEE
Abstract—We describe a method for automatically generating accurate piecewise planar models of indoor scenes using a combination of a 2D laser scanner and a camera on a mobile pl...
IICAI
2007
13 years 9 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
IJCNN
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper we present two algorithms that automatically calculate linear expressions for Time Series. To estimate the maximum number of terms of the linear expression and the...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...