1690 search results - page 284 / 338 » Algorithmic Properties of Millstream Systems |
87
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
92
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Finding the sparsest solution for an under-determined linear system of equations D = s is of interest in many applications. This problem is known to be NP-hard. Recent work studie...
117
click to vote
CHI
1996
ACM
15 years 4 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
106
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
SIAMSC
2008
15 years 20 days ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...