8874 search results - page 1607 / 1775 » A New Implementation of Automath |
126
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
—Double patterning lithography (DPL) provides an attractive alternative or a supplementary method to enable the 32nm and 22nm process nodes, relative to costlier technology optio...
160
Voted
ISBMS
2010
Springer
15 years 11 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...
149
Voted
ISBRA
2010
Springer
15 years 11 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
150
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...
132
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...