Sciweavers

4737 search results - page 653 / 948
» The LOGIC negotiation model
Sort
View
FLOPS
2004
Springer
16 years 25 days ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa
PVM
2004
Springer
16 years 23 days ago
A Refinement Strategy for a User-Oriented Performance Analysis
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
Jan Lemeire, Andy Crijns, John Crijns, Erik F. Dir...
218
Voted
RSCTC
2004
Springer
144views Fuzzy Logic» more  RSCTC 2004»
16 years 23 days ago
Approximation Spaces and Information Granulation
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
Andrzej Skowron, Roman W. Swiniarski, Piotr Synak
210
Voted
IICS
2003
Springer
16 years 19 days ago
Aggregation Transformation of XML Schemas to Object-Relational Databases
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...
Nathalia Devina Widjaya, David Taniar, J. Wenny Ra...
202
Voted
FCCM
1998
IEEE
170views VLSI» more  FCCM 1998»
15 years 11 months ago
Characterization and Parameterization of a Pipeline Reconfigurable FPGA
ended abstract defines a class of architectures for pipeline reconfigurable FPGAs by parameterizing a generic model. This class of architectures is sufficiently general to allow e...
Matthew Moe, Herman Schmit, Seth Copen Goldstein