Sciweavers

811 search results - page 21 / 163
» Integrating Formal Description Techniques
Sort
View
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
BIBE
2005
IEEE
14 years 1 months ago
Using Data Mining Techniques to Learn Layouts of Flat-File Biological Datasets
One of the major problems in biological data integration is that many data sources are stored as flat-files, with a variety of different layouts. Integrating data from such sour...
Kaushik Sinha, Xuan Zhang, Ruoming Jin, Gagan Agra...
ISSS
1995
IEEE
121views Hardware» more  ISSS 1995»
13 years 11 months ago
A comprehensive estimation technique for high-level synthesis
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
Seong Yong Ohm, Fadi J. Kurdahi, Nikil Dutt, Min X...
ESWS
2006
Springer
13 years 11 months ago
On the Semantics of Functional Descriptions of Web Services
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
Uwe Keller, Holger Lausen, Michael Stollberg
FDL
2007
IEEE
14 years 1 months ago
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
The system description language SystemC enables to quickly create executable specifications at adequate levbstraction for both hardware/software integration and fast design space...
Daniel Große, Hernan Peraza, Wolfgang Klinga...