SP
2008
IEEE
13 years 11 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
Discovering gene co-regulatory relationships is one of most important research in DNA microarray data analysis. The problem of gene specific co-regulation discovery is to, for a p...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
f abstraction (hardware) to the highest (people). This issue's theme encompasses this entire spectrum. The lead author of each article resides in the Scalable Computing Resear...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
The grid vision of a single computing utility has yet to materialize: while many grids with thousands of processors each exist, most work in isolation. An important obstacle for t...
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
SP
2008
IEEE
14 years 10 days ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...