3108 search results - page 563 / 622 » The Elements of Computer Credibility |
144
click to vote
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
128
click to vote
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
For studying gene regulatory and protein signaling networks, we have developed an interactive map for the Pseudomonas aeruginosa genome. We first represent genes, proteins and the...
148
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
141
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
132
click to vote
IMR
2004
Springer
15 years 10 months ago
2004
Springer
The aim of this paper is to study the feasibility of using (irreversible) entropy production as driving force for a moving mesh. Such a method should be able to capture or track p...