Sciweavers

1054 search results - page 149 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
ICPR
2006
IEEE
16 years 3 months ago
A Model-based Approach for Rigid Object Recognition
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
Chee Boon Chong, Fee-Lee Lim, Tele Tan
ICCS
2007
Springer
15 years 8 months ago
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
Everest T. Ong, Jay Walter Larson, Boyana Norris, ...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 5 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 6 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
MM
2005
ACM
166views Multimedia» more  MM 2005»
15 years 7 months ago
MedSMan: a streaming data management system over live multimedia
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
Bin Liu, Amarnath Gupta, Ramesh Jain