2607 search results - page 287 / 522 » Complete Functional Synthesis |
122
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
131
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
121
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
119
click to vote
IDEAS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
117
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
In this paper we propose a concept for transparent access to VRML state information. Our approach enhances VRML browsers to provide additional functionality instead of placing the...