473 search results - page 88 / 95 » Behavioural Models for Hierarchical Components |
123
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
119
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—We propose a framework for clustering and visualization of images of face carvings at archaeological sites. The pairwise similarities among face carvings are computed by...
89
Voted
JVCA
2007
15 years 3 months ago
2007
Shell becomes popular in a variety of modeling techniques for representing small-scale features and increasing visual complexity. Current shell generation algorithms do not measur...
140
Voted
CI
1999
15 years 3 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
121
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the design of algorithms for multicores that are oblivious to machine parameters. We propose HM, a multicore model consisting of a parallel shared-memory machine with hi...