7820 search results - page 1483 / 1564 » Formalization of Time and Space |
193
Voted
SC
2009
ACM
16 years 28 days ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
178
click to vote
SIGMOD
2009
ACM
16 years 28 days ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
177
click to vote
WSDM
2009
ACM
16 years 28 days ago
2009
ACM
We introduce a new visual search interface for search engines. The interface is a user-friendly and informative graphical front-end for organizing and presenting search results in...
154
Voted
CCS
2009
ACM
16 years 28 days ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
215
Voted
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...