Sciweavers

4716 search results - page 177 / 944
» Tangible functional programming
Sort
View
ICTAC
2005
Springer
15 years 11 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
ICLP
1997
Springer
15 years 10 months ago
Parallel Evaluation Strategies for Functional Logic Languages
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
Sergio Antoy, Rachid Echahed, Michael Hanus
MICRO
1994
IEEE
85views Hardware» more  MICRO 1994»
15 years 10 months ago
A high-performance microarchitecture with hardware-programmable functional units
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
Rahul Razdan, Michael D. Smith
NAR
2006
88views more  NAR 2006»
15 years 6 months ago
PupaSuite: finding functional single nucleotide polymorphisms for large-scale genotyping purposes
We have developed a web tool, PupaSuite, for the selection of single nucleotide polymorphisms (SNPs) with potential phenotypic effect, specifically oriented to help in the design ...
Lucía Conde, Juan M. Vaquerizas, Hern&aacut...
PPL
2008
97views more  PPL 2008»
15 years 6 months ago
The Impact of Dynamic Channels on Functional Topology Skeletons
Parallel functional programs with implicit communication often generate purely hierarchical communication topologies during execution: communication only happens between parent an...
Jost Berthold, Rita Loogen