2608 search results - page 74 / 522 » Subjects, Models, Languages, Transformations |
122
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
139
click to vote
TIP
2010
14 years 11 months ago
2010
Abstract--While directional adaption is introduced into traditional transforms, different orders of two 1-D transforms will result in different results of one 2-D transform. Based ...
159
click to vote
SIGIR
2003
ACM
15 years 10 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
130
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
116
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...