10707 search results - page 344 / 2142 » Designing executable abstractions |
148
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
144
click to vote
SBACPAD
2007
IEEE
15 years 11 months ago
2007
IEEE
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
141
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
132
click to vote
AHS
2006
IEEE
15 years 11 months ago
2006
IEEE
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...
131
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...