6608 search results - page 951 / 1322 » On the Completeness of Model Checking |
216
click to vote
SIES
2008
IEEE
16 years 1 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
212
click to vote
ADC
2008
Springer
16 years 1 months ago
2008
Springer
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
162
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
370
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
110
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...