2477 search results - page 309 / 496 » Parallelizing Functional Programs by Generalization |
165
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
154
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
167
click to vote
CAINE
2006
15 years 7 months ago
2006
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
155
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
169
click to vote
MP
1998
15 years 6 months ago
1998
In recent years second-order sufficient conditions of an isolated local minimizer for convex composite optimization problems have been established. In this paper, second-order opt...