Sciweavers

1619 search results - page 32 / 324
» Structure in the Space of Value Functions
Sort
View
JUCS
2010
109views more  JUCS 2010»
13 years 3 months ago
Semantics of Query-Driven Communication of Exact Values
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
Michal Konecný, Amin Farjudian
IBMRD
2006
63views more  IBMRD 2006»
13 years 8 months ago
Decomposing the load-store queue by function for power reduction and scalability
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
Lee Baugh, Craig B. Zilles
ENTCS
2007
122views more  ENTCS 2007»
13 years 8 months ago
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
Hai Liu, Paul Hudak
EOR
2010
88views more  EOR 2010»
13 years 8 months ago
Monge extensions of cooperation and communication structures
Cooperation structures without any a priori assumptions on the combinatorial structure of feasible coalitions are studied and a general theory for marginal values, cores and conve...
Ulrich Faigle, Michel Grabisch, M. Heyne
PPDP
2009
Springer
14 years 3 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus