9110 search results - page 365 / 1822 » Formally-Based Design Evaluation |
152
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
171
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
175
click to vote
GLOBE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
166
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
171
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
: In this paper, a multiservice, local-area, wireless access ATM system is explored from a signaling protocol viewpoint. The signaling architecture considered here follows the sign...