Sciweavers

7118 search results - page 727 / 1424
» Electrical and Computer Engineering
Sort
View
SCW
2006
IEEE
16 years 1 months ago
Towards Unified QoS/SLA Ontologies
This paper reports on work in progress to produce a unified Quality of Service (QoS) ontology This ontology must be applicable to the main scenarios currently identified such as Q...
Glen Dobson, Alfonso Sánchez-Macián
ACL2
2006
ACM
16 years 1 months ago
Adding parallelism capabilities to ACL2
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
David L. Rager
161
Voted
DAC
2006
ACM
16 years 1 months ago
A reconfigurable design-for-debug infrastructure for SoCs
In this paper we present a Design-for-Debug (DFD) reconfigurable infrastructure for SoCs to support at-speed in-system functional debug. A distributed reconfigurable fabric insert...
Miron Abramovici, Paul Bradley, Kumar N. Dwarakana...
184
Voted
SAC
2006
ACM
16 years 1 months ago
Evaluation of current architecture frameworks
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
Susanne Leist, Gregor Zellner
190
Voted
SAC
2006
ACM
16 years 1 months ago
Semantic-based information retrieval of biomedical data
In this paper, we propose to improve the effectiveness of biomedical information retrieval via a medical thesaurus. We analyzed the deficiencies of the existing medical thesauri a...
Peng Yan, Yu Jiao, Ali R. Hurson, Thomas E. Potok