3053 search results - page 149 / 611 » Performance of Generative Programming Based Protocol Impleme... |
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
ECEASST
2008
13 years 10 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
ICPP
2002
IEEE
14 years 3 months ago
2002
IEEE
The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tun...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...