Sciweavers

5355 search results - page 142 / 1071
» Modules
Sort
View
107
Voted
OTM
2005
Springer
15 years 7 months ago
Reasoning on Dynamically Built Reasoning Space with Ontology Modules
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
Fabio Porto
69
Voted
SAC
2004
ACM
15 years 7 months ago
Approximating module semantics with constraints
Francesco Logozzo
88
Voted
ESOP
2004
Springer
15 years 7 months ago
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Tom Hirschowitz, Xavier Leroy, J. B. Wells
88
Voted
FPL
2004
Springer
95views Hardware» more  FPL 2004»
15 years 7 months ago
Improving FPGA Performance and Area Using an Adaptive Logic Module
This paper proposes a new adaptable FPGA logic element based on fracturable 6-LUTs, which fundamentally alters the longstanding belief that a 4-LUT is the most efficient area/delay...
Michael Hutton, Jay Schleicher, David M. Lewis, Br...
IFIP
2004
Springer
15 years 7 months ago
A Calculus with Lazy Module Operators
Davide Ancona, Sonia Fagorzi, Elena Zucca