Sciweavers

1728 search results - page 122 / 346
» An approach to integration testing based on architectural de...
Sort
View
ISLPED
1995
ACM
96views Hardware» more  ISLPED 1995»
15 years 1 months ago
Towards a high-level power estimation capability
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL. Such a high-level power estimation capability is r...
Farid N. Najm
JMM2
2008
107views more  JMM2 2008»
14 years 10 months ago
Dynamic Generation of SMIL-Based Multimedia Interfaces
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
José Manuel Oliveira, Eurico Carrapatoso
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 1 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
BPM
2006
Springer
111views Business» more  BPM 2006»
15 years 1 months ago
A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
SOA, Service Oriented Architecture, some people tightly couple this concept with some technologies, as some believes that SOA is about Web Services and its orchestrations. SOA, is ...
Fathi M. Al-Ghaiati
ACCV
2010
Springer
14 years 5 months ago
MRF Labeling for Multi-view Range Image Integration
Multi-view range image integration focuses on producing a single reasonable 3D point cloud from multiple 2.5D range images for the reconstruction of a watertight manifold surface. ...
Ran Song, Yonghuai Liu, Ralph R. Martin, Paul L. R...