3828 search results - page 400 / 766 » Proof-Based System Engineering Using a Virtual System Model |
149
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
181
click to vote
HICSS
1994
IEEE
15 years 11 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
183
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
It is common that Internet service hosting centres use several logical pools to assign server resources to different applications, and that they try to achieve the highest total r...
166
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
220
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
MapReduce provides a parallel and scalable programming model for data-intensive business and scientific applications. MapReduce and its de facto open source project, called Hadoop...