Sciweavers

4476 search results - page 456 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
APSEC
2009
IEEE
15 years 5 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
GRAPHITE
2003
ACM
16 years 29 days ago
Real-time image based lighting in software using HDR panoramas
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...
Jonas Unger, Magnus Wrenninge, Mark Ollila
FPL
2003
Springer
81views Hardware» more  FPL 2003»
16 years 28 days ago
Software Decelerators
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 ...
Eric Keller, Gordon J. Brebner, Philip James-Roxby
EUROPLOP
2006
15 years 9 months ago
Focus Group: Metaphor in Software Development
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...
Kevlin Henney, Andy Longshaw
ISCA
2007
IEEE
208views Hardware» more  ISCA 2007»
16 years 2 months ago
Core fusion: accommodating software diversity in chip multiprocessors
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
Engin Ipek, Meyrem Kirman, Nevin Kirman, Jos&eacut...