Sciweavers

14 search results - page 1 / 3
» snpd 2008
Sort
View
SNPD
2008
13 years 5 months ago
The Complexity of the Evolution of Graph Labelings
Geir Agnarsson, Raymond Greenlaw, Sanpawat Kantabu...
SNPD
2008
13 years 5 months ago
Omni-Directional Antenna for Wireless Access Point
Suwat Pattamavorakun, Wuttipol Wanarsup, Suwarin P...
SNPD
2008
13 years 5 months ago
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
SNPD
2008
13 years 5 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
SNPD
2008
13 years 5 months ago
Dynamic Data Feed to Bayesian Network Model and SMILE Web Application
A complete diagnostic Bayesian network model cannot be achieved and the result of the constructed model cannot be guaranteed unless correct and reliable data are provided to the m...
Nipat Jongsawat, Pittaya Poompuang, Wichian Premch...