2367 search results - page 203 / 474 » Harvesting design for an application framework |
181
Voted
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
193
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
182
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—rSesame is a generic modeling and simulation framework which can explore and evaluate reconfigurable systems at the early design stages. The framework can be used to ex...
260
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
167
click to vote
INFSOF
2002
15 years 6 months ago
2002
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...