1136 search results - page 134 / 228 » Functional Validation in Grid Computing |
121
click to vote
EVOW
2009
Springer
14 years 10 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
126
Voted
TCSV
2011
14 years 7 months ago
2011
In this paper, we explore the impact of frame rate and quantization on perceptual quality of a video. We propose to use the product of a spatial quality factor that assesses the q...
107
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...
110
Voted
PODC
1999
ACM
15 years 4 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
121
click to vote
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...