9626 search results - page 1551 / 1926 » Invariant Based Programming |
164
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
Inference of phylogenetic trees comprising hundreds or even thousands of organisms based on the maximum likelihood method is computationally extremely expensive. In previous work,...
193
click to vote
ERLANG
2003
ACM
16 years 1 days ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
167
click to vote
ERLANG
2003
ACM
16 years 1 days ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
162
click to vote
ICS
2003
Tsinghua U.
15 years 12 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
182
click to vote
AINA
2010
IEEE
15 years 12 months ago
2010
IEEE
Cloud computing is an emerging technology that allows users to utilize on-demand computation, storage, data and services from around the world. However, Cloud service providers ch...