2042 search results - page 288 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
183
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
134
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
150
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
153
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
177
Voted
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...