31686 search results - page 378 / 6338 » Resource typing in Guru |
155
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
170
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
160
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
157
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
The routing channels of an FPGA consist of wire segments of various types providing the tradeoff between performance and routability. In the routing architectures of recently dev...
158
click to vote
WAIFI
2010
Springer
15 years 11 months ago
2010
Springer
In the 1990s and early 2000s several papers investigated the relative merits of polynomial-basis and normal-basis computations for F2n . Even for particularly squaring-friendly app...