Sciweavers

1926 search results - page 264 / 386
» From P to MP Systems
Sort
View
PLDI
2000
ACM
15 years 10 months ago
Safety checking of machine code
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
Zhichen Xu, Barton P. Miller, Thomas W. Reps
ACMSE
2007
ACM
15 years 10 months ago
Semi-transparent video interfaces to assist deaf persons in meetings
Meetings are a vital part of participation in social activities. For a deaf person who does not understand spoken language, following a discourse at meetings can become confusing ...
Dorian Miller, Karl Gyllstrom, P. David Stotts, Ja...
BIB
2008
101views more  BIB 2008»
15 years 6 months ago
Information quality in proteomics
Proteomics, the study of the protein complement of a biological system, is generating increasing quantities of data from rapidly developing technologies employed in a variety of d...
David Stead, Norman W. Paton, Paolo Missier, Suzan...
ECOI
2010
117views more  ECOI 2010»
15 years 6 months ago
Ensemble extraction for classification and detection of bird species
Advances in technology have enabled new approaches for sensing the environment and collecting data about the world. Once collected, sensor readings can be assembled into data stre...
Eric P. Kasten, Philip K. McKinley, Stuart H. Gage
JCC
2007
110views more  JCC 2007»
15 years 6 months ago
Electron correlation: The many-body problem at the heart of chemistry
Abstract: The physical interactions among electrons and nuclei, responsible for the chemistry of atoms and molecules, is well described by quantum mechanics and chemistry is theref...
David P. Tew, Wim Klopper, Trygve Helgaker