8581 search results - page 1676 / 1717 » Digital Signal Processing |
173
Voted
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
140
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
173
Voted
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
150
Voted
ICS
2011
Tsinghua U.
14 years 6 months ago
2011
Tsinghua U.
The probability that a failure will occur before the end of the computation increases as the number of processors used in a high performance computing application increases. For l...
163
Voted
ISCA
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we study the impact of sharing memory resources on five Google datacenter applications: a web search engine, bigtable, content analyzer, image stitching, and protoc...