2836 search results - page 268 / 568 » Model Checking for Software Architectures |
135
Voted
ISCA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
142
click to vote
GRAPHITE
2003
ACM
15 years 10 months ago
2003
ACM
We present a system allowing real-time image based lighting based on HDR panoramic images. The system performs time-consuming diffuse light calculations in a preprocessing step, w...
116
click to vote
FPL
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
133
click to vote
EUROPLOP
2006
15 years 6 months ago
2006
The New Oxford Dictionary of English A powerful and well-chosen metaphor can speak a thousand words in terms of the insight it gives to the audience; a poor one can hide and confu...
162
click to vote
IPAW
2010
15 years 2 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...