3001 search results - page 237 / 601 » Recursive type generativity |
196
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
149
click to vote
SCOPES
2005
Springer
15 years 12 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
129
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a measure to verify the quality of automatically aligned phone labels. The measure is based on a similarity cost between automatically generated phonetic segme...
148
click to vote
DSD
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
156
click to vote
SYNASC
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules, and generation of biochemical networks based on the representation of...