3104 search results - page 258 / 621 » Using quantitative analysis to implement autonomic IT system... |
151
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
177
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
129
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
131
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
140
click to vote
DAS
2004
Springer
15 years 10 months ago
2004
Springer
Structural analysis of web pages has been proposed several times and for a number of reasons and purposes, such as the re-flowing of standard web pages to fit a smaller PDA screen....