Sciweavers

4809 search results - page 28 / 962
» Scalable Analysis of Scalable Systems
Sort
View
ACSAC
2009
IEEE
15 years 6 months ago
Scalable Web Content Attestation
—The web is a primary means of information sharing for most organizations and people. Currently, a recipient of web content knows nothing about the environment in which that info...
Thomas Moyer, Kevin R. B. Butler, Joshua Schiffman...
IPPS
2005
IEEE
15 years 5 months ago
Dynamic Scalable Visualization for Collaborative Scientific Applications
Science disciplines are experiencing a data avalanche. As a result, scientific research is limited by data analysis and visualization capabilities. We have been working closely wi...
Kai Li, Matthew A. Hibbs, Grant Wallace, Olga G. T...
TIC
2000
Springer
137views System Software» more  TIC 2000»
15 years 3 months ago
Scalable Certification for Typed Assembly Language
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
Dan Grossman, J. Gregory Morrisett
CASES
2008
ACM
15 years 1 months ago
Efficiency and scalability of barrier synchronization on NoC based many-core architectures
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
Oreste Villa, Gianluca Palermo, Cristina Silvano
SIGMOD
2011
ACM
210views Database» more  SIGMOD 2011»
14 years 2 months ago
A platform for scalable one-pass analytics using MapReduce
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...
Boduo Li, Edward Mazur, Yanlei Diao, Andrew McGreg...