3053 search results - page 382 / 611 » Performance of Generative Programming Based Protocol Impleme... |
116
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
116
Voted
MICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring...
265
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
147
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
153
click to vote
TYPES
1995
Springer
15 years 6 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...