3169 search results - page 383 / 634 » A General Framework for Large Scale Systems Development |
164
click to vote
CCGRID
2005
IEEE
16 years 4 days ago
2005
IEEE
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
198
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...
176
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
212
click to vote
ISLPED
2006
ACM
16 years 14 days ago
2006
ACM
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...
160
click to vote
WSC
1990
15 years 7 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...