Sciweavers

5896 search results - page 724 / 1180
» On Learning with Integral Operators
Sort
View
ALP
1990
Springer
15 years 11 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
PLDI
1989
ACM
15 years 11 months ago
Type Reconstruction with First-Class Polymorphic Values
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
James O'Toole, David K. Gifford
HPCC
2007
Springer
15 years 10 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
APNOMS
2006
Springer
15 years 10 months ago
Configuration Management Policy in QoS-Constrained Grid Networks
Abstract. In Grid service, resource management is important to support capability for good quality and efficiency for the computing and storage service. In order to provide this re...
Hyewon Song, Chan-Hyun Youn, Changhee Han, Youngjo...
FPL
2006
Springer
158views Hardware» more  FPL 2006»
15 years 10 months ago
Placing Functionality in Fault-Tolerant Hardware/Software Reconfigurable Networks
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
Thilo Streichert