3384 search results - page 187 / 677 » More Testable Properties |
ISPD
2006
ACM
14 years 3 months ago
2006
ACM
Physical Design of modern systems on chip is extremely challenging. Such digital integrated circuits often contain tens of millions of logic gates, intellectual property blocks, e...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
ICDM
2005
IEEE
14 years 2 months ago
2005
IEEE
Traditional data mining applications consider the problem of mining a single relation between two attributes. For example, in a scientific bibliography database, authors are rela...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper we describe an approach to feature representation for simultaneous localization and mapping, SLAM. It is a general representation for features that addresses symm...