Sciweavers

3943 search results - page 68 / 789
» Architecture-Level Requirements Specification
Sort
View
VLSID
1993
IEEE
114views VLSI» more  VLSID 1993»
15 years 9 months ago
A Methodology for Generating Application Specific Tree Multipliers
Low latency, application, specific multipliers are required for m,any DSP algorithms. Tree multipliers are an obvious answer to this requirement. However, tree architectures have ...
S. Ramanathan, Nibedita Mohanty, V. Visvanathan
ICDCIT
2007
Springer
15 years 9 months ago
An Adaptive Metadata Model for Domain-Specific Service Registry
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...
Kun Chen, Yanbo Han, Dongju Yang, Yongshan Wei, Wu...
DS
2001
118views Database» more  DS 2001»
15 years 7 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
137
Voted
ENTCS
2010
75views more  ENTCS 2010»
15 years 5 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
PROCEDIA
2010
103views more  PROCEDIA 2010»
15 years 9 days ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly