1981 search results - page 187 / 397 » Model-Checking Hierarchical Structures |
113
click to vote
ISPD
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents an efficient method for optimizing the design of power/ground (P/G) networks by using locally regular, globally irregular grids. The procedure divides the pow...
150
click to vote
ICSE
1992
IEEE-ACM
15 years 7 months ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
115
click to vote
ICDM
2003
IEEE
15 years 8 months ago
2003
IEEE
Clustering by document concepts is a powerful way of retrieving information from a large number of documents. This task in general does not make any assumption on the data distrib...
140
click to vote
SIGIR
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a means of automatically deriving a hierarchical organization of concepts from a set of documents without use of training data or standard clustering technique...
139
click to vote
ASE
2006
15 years 3 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...