227 search results - page 45 / 46 » Towards Automated Inconsistency Handling in Design Models |
SASN
2006
ACM
15 years 3 months ago
2006
ACM
We present a novel outlier elimination technique designed for sensor networks. This technique is called RANBAR and it is based on the RANSAC (RANdom SAmple Consensus) paradigm, wh...
MICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
161
click to vote
GIS
2009
ACM
2009
ACM
Web 2.0 Geospatial Visual Analytics for Improved Urban Flooding Situational Awareness and Assessment
15 years 10 months ago
Situational awareness of urban flooding during storm events is important for disaster and emergency management. However, no general purpose tools yet exist for rendering rainfall ...
HIPEAC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...