3679 search results - page 415 / 736 » Hybrid Semantic Analysis |
169
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
155
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
178
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...
166
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
161
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose a hybrid media access technique for cluster-based vehicular networks. This technique integrates the centralization approach of cluster management and the universal w...