298 search results - page 7 / 60 » Measuring and Evaluating Parallel State-Space Exploration Al... |
161
click to vote
IEEEPACT
2000
IEEE
15 years 10 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
171
Voted
HICSS
2006
IEEE
16 years 12 days ago
2006
IEEE
One viewpoint of a knowledge network is a knowledge map that clusters similar knowledge sources into knowledge domains. What is needed is an automatic mapping tool that 1) takes t...
161
Voted
IPPS
2008
IEEE
16 years 23 days ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...
268
Voted
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Aggregate measures summarizing subsets of data are valuable in exploratory analysis and decision support, especially when dependent aggregations can be easily specified and compute...
194
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...