4164 search results - page 562 / 833 » Timing model reduction for hierarchical timing analysis |
171
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the core tasks in social network analysis is to predict the formation of links (i.e. various types of relationships) over time. Previous research has generally represented ...
181
click to vote
CSB
2005
IEEE
16 years 9 days ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
182
click to vote
APWEB
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...
167
click to vote
POLICY
2005
Springer
16 years 5 days ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
200
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...