Sciweavers

2902 search results - page 262 / 581
» Software Product Lines
Sort
View
HIPEAC
2007
Springer
16 years 26 days ago
Leveraging High Performance Data Cache Techniques to Save Power in Embedded Systems
Voltage scaling reduces leakage power for cache lines unlikely to be referenced soon. Partitioning reduces dynamic power via smaller, specialized structures. We combine approaches,...
Major Bhadauria, Sally A. McKee, Karan Singh, Gary...
AUIC
2006
IEEE
16 years 24 days ago
Moving animation script creation from textual to visual representation
Animation scripts are an integral part of developing computer games: they describe which character animations to play and when to switch between animations. These scripts are ofte...
Erik Haugvaldstad, Tim Wright
SCAM
2003
IEEE
15 years 12 months ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
151
Voted
FSTTCS
1992
Springer
15 years 10 months ago
Branching Bisimulation for Context-free Processes
The branching bisimulation de ned by Van Glabbeek and Weijland takes care of preserving the branching structure of processes even though silent actions are taken. Branching bisimu...
Didier Caucal
AMAST
2008
Springer
15 years 8 months ago
Petri Nets Are Dioids
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
Paolo Baldan, Fabio Gadducci