Sciweavers

4305 search results - page 167 / 861
» Analysing Protocol Implementations
Sort
View
FPGA
2009
ACM
150views FPGA» more  FPGA 2009»
14 years 3 months ago
Bus mastering PCI express in an FPGA
This paper describes a bus mastering implementation of the PCI Express protocol using a Xilinx FPGA. While the theoretical peak performance of PCI Express is quite high, attaining...
Ray Bittner
COMCOM
2006
178views more  COMCOM 2006»
13 years 9 months ago
SIP-based MIP6-MANET: Design and implementation of mobile IPv6 and SIP-based mobile ad hoc networks
In this paper, we designed and implemented an integrated wireless system, namely a SIP-based MIP6-MANET system. This SIP-based MIP6MANET system is an integration and implementatio...
Yuh-Shyan Chen, Yun-Hsuan Yang, Ren-Hung Hwang
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
14 years 1 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...
ACL
1993
13 years 10 months ago
A Unification-Based Parser for Relational Grammar
We present an implemented unification-based parser for relational grammars developed within the stratified feature grammar (SFG) framework, which generalizes Kasper-Rounds logic t...
David E. Johnson, Adam Meyers, Lawrence S. Moss
HASKELL
2009
ACM
14 years 3 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe