5415 search results - page 969 / 1083 » The Implementation of Functional Programming Languages |
115
click to vote
HPCN
1997
Springer
15 years 5 months ago
1997
Springer
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
122
click to vote
REX
1991
15 years 5 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
109
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
111
click to vote
LISA
2004
15 years 2 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
93
Voted
ISCI
2008
15 years 1 months ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...