1585 search results - page 30 / 317 » A framework for computer-aided validation |
126
click to vote
TRIDENTCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Within the framework of the BONE European Network of Excellence, we setup a multi-domain multi-layer testbed covering three different networks at two distinct locations in Europe. ...
101
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
112
click to vote
VLSID
2009
IEEE
16 years 2 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...
118
click to vote
PDP
2006
IEEE
15 years 8 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...