Sciweavers

11172 search results - page 1929 / 2235
» Testing Physical Systems
Sort
View
HPCA
2005
IEEE
16 years 5 months ago
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
Feng Qin, Shan Lu, Yuanyuan Zhou
CHI
2004
ACM
16 years 5 months ago
RAW: conveying minimally-mediated impressions of everyday life with an audio-photographic tool
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...
Joëlle Bitton, Matthew Karau, Stefan Agamanol...
CHI
2001
ACM
16 years 5 months ago
Locus of feedback control in computer-based tutoring: impact on learning rate, achievement and attitudes
The advent of second-generation intelligent computer tutors raises an important instructional design question: when should tutorial advice be presented in problem solving? This pa...
Albert T. Corbett, John R. Anderson
RECOMB
2007
Springer
16 years 5 months ago
Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
Joshua A. Grochow, Manolis Kellis
RECOMB
2005
Springer
16 years 5 months ago
RIBRA-An Error-Tolerant Algorithm for the NMR Backbone Assignment Problem
We develop an iterative relaxation algorithm, called RIBRA, for NMR protein backbone assignment. RIBRA applies nearest neighbor and weighted maximum independent set algorithms to ...
Kuen-Pin Wu, Jia-Ming Chang, Jun-Bo Chen, Chi-Fon ...
« Prev « First page 1929 / 2235 Last » Next »