595 search results - page 67 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
129
click to vote
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the Distributed Cooperative Caching, a scalable and energy-efficient scheme to manage chip multiprocessor (CMP) cache resources. The proposed configuration is...
103
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
92
Voted
GLVLSI
2003
IEEE
15 years 8 months ago
2003
IEEE
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...
147
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
145
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...