6274 search results - page 954 / 1255 » Proofs, Programs, Processes |
107
click to vote
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Heterogeneous multiprocessors are growingly important in the multi-core era due to their potential for high performance and energy efficiency. In order for software to fully real...
110
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
PVM
2009
Springer
15 years 9 months ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
144
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
135
click to vote
ICARCV
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...