PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Time aware modelling and analysis of multiclocked VLSI systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
On the formal verification of systems of synchronous software components
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
This paper examines two Network Interface Card micro-architectures that support low latency, high bandwidth user-level message passing in multi-user environments. The two are at different ends of a design spectrum -- the Resident queues design relies ...