4041 search results - page 392 / 809 » time 2009 |
173
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
172
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...
168
click to vote
ICANNGA
2009
Springer
16 years 1 months ago
2009
Springer
We propose a generalized model with configurable discretizer actuators as a solution to the problem of the discretization of massive numerical datasets. Our solution is based on a ...
164
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
176
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
BOINC is a middleware for Volunteer Computing. In BOINC projects, heterogeneous resources distributed across the Internet are used for large-scale scientific simulations. The larg...