2902 search results - page 262 / 581 » Software Product Lines |
158
click to vote
HIPEAC
2007
Springer
16 years 26 days ago
2007
Springer
Voltage scaling reduces leakage power for cache lines unlikely to be referenced soon. Partitioning reduces dynamic power via smaller, specialized structures. We combine approaches,...
231
click to vote
AUIC
2006
IEEE
16 years 24 days ago
2006
IEEE
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...
172
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
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...
151
Voted
FSTTCS
1992
Springer
15 years 10 months ago
1992
Springer
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...
177
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
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...