Sciweavers

8671 search results - page 1402 / 1735
» A generator for hierarchical problems
Sort
View
PRDC
2006
IEEE
16 years 25 days ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
RSP
2006
IEEE
120views Control Systems» more  RSP 2006»
16 years 25 days ago
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
Isabelle Hurbain, Corinne Ancourt, François...
SBRN
2006
IEEE
16 years 25 days ago
Evolutionary Algorithm for 3D Object Reconstruction from Images
This work presents an evolutionary algorithm to reconstruct 3D objects based on images of them. In the proposed evolutionary algorithm, we describe a way to evolve 3D initial mode...
Renata L. M. E. do Rego, Hansenclever de F. Bassan...
VTC
2006
IEEE
117views Communications» more  VTC 2006»
16 years 25 days ago
Monitoring the Position Integrity in Road Transport Localization Based Services
— Nowadays, a new generation of civil location based services (LBS) included in the intelligent road transport systems (ITS-R) field is emerging. The reliability of positioning ...
José Santa, Benito Úbeda Miña...
ISLPED
2006
ACM
122views Hardware» more  ISLPED 2006»
16 years 24 days ago
Dynamic thermal clock skew compensation using tunable delay buffers
—The thermal gradients existing in high-performance circuits may significantly affect their timing behavior, in particular, by increasing the skew of the clock net and/or alteri...
Ashutosh Chakraborty, Karthik Duraisami, Ashoka Vi...
« Prev « First page 1402 / 1735 Last » Next »