1673 search results - page 276 / 335 » Generalized Elastic Scheduling |
154
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
157
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
182
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
134
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
When designing SAMGrid, a project for distributing high-energy physics computations on a grid, we discovered that it was challenging to decide where to place user's jobs. Job...
164
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...