974 search results - page 10 / 195 » Programming Configurable Multiprocessors |
80
Voted
MICRO
2010
IEEE
14 years 7 months ago
2010
IEEE
Single-thread performance, reliability and power efficiency are critical design challenges of future multicore systems. Although point solutions have been proposed to address thes...
52
Voted
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
The rapid increase in the number and variety of consumer-level electronic devices without the corresponding development of device management technology has lead to a configuration ...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
CAV
2007
Springer
15 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...