Sciweavers

2087 search results - page 306 / 418
» Computation of class numbers of quadratic number fields
Sort
View
CCECE
2006
IEEE
16 years 23 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
PODC
2006
ACM
16 years 19 days ago
Object location using path separators
We study a novel separator property called k-path separable. Roughly speaking, a k-path separable graph can be recursively separated into smaller components by sequentially removi...
Ittai Abraham, Cyril Gavoille
ICPPW
2005
IEEE
16 years 8 days ago
Gene Ordering in Microarray Data Using Parallel Memetic Algorithms
This paper addresses the Microarray Gene Ordering problem. It consists in ordering a set of genes, grouping together the ones with similar behavior. This behavior can be measured ...
Alexandre Mendes, Carlos Cotta, Vinícius Ga...
SIGMOD
2005
ACM
123views Database» more  SIGMOD 2005»
16 years 7 days ago
To Do or Not To Do: The Dilemma of Disclosing Anonymized Data
Decision makers of companies often face the dilemma of whether to release data for knowledge discovery, vis a vis the risk of disclosing proprietary or sensitive information. Whil...
Laks V. S. Lakshmanan, Raymond T. Ng, Ganesh Rames...
VIZSEC
2004
Springer
16 years 1 days ago
NVisionIP: netflow visualizations of system state for security situational awareness
The number of attacks against large computer systems is currently growing at a rapid pace. Despite the best efforts of security analysts, large organizations are having trouble k...
Kiran Lakkaraju, William Yurcik, Adam J. Lee