Sciweavers

352 search results - page 31 / 71
» Quantifying Instruction Criticality
Sort
View
ISSTA
2010
ACM
14 years 2 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
ASAP
2004
IEEE
101views Hardware» more  ASAP 2004»
14 years 2 months ago
Register Organization for Enhanced On-Chip Parallelism
Large register file with multiple ports is a critical component of a high-performance processor. A large number of registers are necessary for processing a larger number of in-fli...
Rama Sangireddy
IISWC
2008
IEEE
14 years 5 months ago
Whiteboards that compute: A workload analysis
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
Ryan Dixon, Timothy Sherwood
IPPS
2007
IEEE
14 years 5 months ago
Modeling of NAMD's Network Input/Output on Large PC Clusters
This study examined the interplay among processor speed, cluster interconnect and file I/O, using parallel applications to quantify interactions. We focused on a common case wher...
Nancy Tran, Daniel A. Reed
ISCAS
2007
IEEE
155views Hardware» more  ISCAS 2007»
14 years 5 months ago
Scalable Video Streaming over Mobile WiMAX
—In this paper, we will investigate the performance of scalable video streaming services in mobile WiMAX systems. We will show that for each user the implementation of multiple c...
Hung-Hui Juan, Hsiang-Chun Huang, ChingYao Huang, ...