Results 211 to 220 of about 73,148 (266)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Communications of the ACM, 1966
A programming language is described which is applicable to problems conveniently described by transformation rules. By this is meant that patterns may be prescribed, each being associated with a skeleton, so that a series of such pairs may be searched until a pattern is found which matches an expression to be transformed. The conditions for a match are
Adolfo Guzmán, Harold V. McIntosh
openaire +1 more source
A programming language is described which is applicable to problems conveniently described by transformation rules. By this is meant that patterns may be prescribed, each being associated with a skeleton, so that a series of such pairs may be searched until a pattern is found which matches an expression to be transformed. The conditions for a match are
Adolfo Guzmán, Harold V. McIntosh
openaire +1 more source
2012 11th International Conference on Environment and Electrical Engineering, 2012
After a brief description of Folding ADCs, also compared with Two-Steps ADCs, the principle function of an interpolative structures for these converters has been analyzed. It has been underlying as this structure improves the performances of the whole ADC. Some considerations allow to quantify the best design choices.
S. Cash, LECCESE, Fabio
openaire +2 more sources
After a brief description of Folding ADCs, also compared with Two-Steps ADCs, the principle function of an interpolative structures for these converters has been analyzed. It has been underlying as this structure improves the performances of the whole ADC. Some considerations allow to quantify the best design choices.
S. Cash, LECCESE, Fabio
openaire +2 more sources
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 2004
We will demonstrate BNFC (the BNF Converter) [7, 6], a multi-lingual compiler tool. BNFC takes as its input a grammar written in LBNF (Labelled BNF) notation, and generates a compiler front-end (an abstract syntax, a lexer, and a parser). Furthermore, it generates a case skeleton usable as the starting point of back-end construction, a pretty printer ...
Markus Forsberg, Aarne Ranta
openaire +1 more source
We will demonstrate BNFC (the BNF Converter) [7, 6], a multi-lingual compiler tool. BNFC takes as its input a grammar written in LBNF (Labelled BNF) notation, and generates a compiler front-end (an abstract syntax, a lexer, and a parser). Furthermore, it generates a case skeleton usable as the starting point of back-end construction, a pretty printer ...
Markus Forsberg, Aarne Ranta
openaire +1 more source
Breaking Binaries and Converting the Converted
2023Property law has been developed around a tangible/intangible binary with “things” being either choses in possession or choses in action. This article argues that the advance of digital technologies challenges the validity of this binary, and that the law must break down the binary to develop in a logical manner.
openaire +1 more source
Convertibility verification and converter synthesis
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02, 2002An essential problem in component-based design is how to compose components designed in isolation. Several approaches have been proposed for specifying component interfaces that capture behavioral aspects such as interaction protocols, and for verifying interface compatibility.
Passerone, Roberto +3 more
openaire +2 more sources
Multisampling in interleaved converters and modular multilevel converters
IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016This paper presents a method for sampling the analog variables and running the controller in multi-cell converters with a frequency higher than the switching frequency. First we introduce the multi-cell converters and highlight their similarities. Next we describe the devised method and explain the strategy to avoid simultaneous sampling and switching ...
Tomás Perpetuo Corrêa +2 more
openaire +1 more source
Giornale italiano di cardiologia (2006), 2009
n ...
BORIANI, GIUSEPPE +2 more
openaire +3 more sources
n ...
BORIANI, GIUSEPPE +2 more
openaire +3 more sources
Technology and Culture, 1992
The Kelly converter, now on display at the National Museum of American History, is associated with one of the enduring legends of invention. A roadside marker in Kentucky presents it succinctly: "Here William Kelly, 1811-1888, discovered a steel making method later known as the Bessemer process which made it possible for civilization to pass from the ...
openaire +1 more source
The Kelly converter, now on display at the National Museum of American History, is associated with one of the enduring legends of invention. A roadside marker in Kentucky presents it succinctly: "Here William Kelly, 1811-1888, discovered a steel making method later known as the Bessemer process which made it possible for civilization to pass from the ...
openaire +1 more source