1994 search results - page 212 / 399 » Limited Software Warranties |
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
UIST
2009
ACM
14 years 4 months ago
2009
ACM
We present a novel hardware device based on ferromagnetic sensing, capable of detecting the presence, position and deformation of any ferrous object placed on or near its surface....
CBMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Content-based Image Retrieval (CBIR) for medical images has received a significant research interest over the past decade as a promising approach to address the data management ch...
CISIS
2008
IEEE
14 years 4 months ago
2008
IEEE
In 2006, John Mellor-Crummey and Michael Scott received the Dijkstra Prize in Distributed Computing. This prize was for their 1991 paper on algorithms for scalable synchronization ...