Sciweavers

1238 search results - page 96 / 248
» Computer-Aided Parts Estimation
Sort
View
WORDS
2005
IEEE
15 years 9 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
148
Voted
ISCAS
2002
IEEE
190views Hardware» more  ISCAS 2002»
15 years 8 months ago
A high performance JPEG2000 architecture
—JPEG2000 is an upcoming compression standard for still images that has a feature set well tuned for diverse data dissemination. These features are possible due to adaptation of ...
Kishore Andra, Chaitali Chakrabarti, Tinku Acharya
DATE
2000
IEEE
78views Hardware» more  DATE 2000»
15 years 8 months ago
HW/SW Codesign of an Engine Management System
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
Massimo Baleani, Alberto Ferrari, Alberto L. Sangi...
128
Voted
AAAI
2007
15 years 5 months ago
Approximate Counting by Sampling the Backtrack-free Search Space
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...
Vibhav Gogate, Rina Dechter
147
Voted
ICVGIP
2004
15 years 5 months ago
Learning Layered Pictorial Structures from Video
We propose a new unsupervised learning method to obtain a layered pictorial structure (LPS) representation of an articulated object from video sequences. It will be seen that this...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...