469 search results - page 28 / 94 » Putting curry-howard to work |
VL
2003
IEEE
14 years 25 days ago
2003
IEEE
End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately,...
GCC
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. In this paper, a practical coarse-grained distributed parallel programming interface for grid computing (PI4GC) is introduced. des a group of generic and abstract functio...
HYBRID
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
ICMCS
1999
IEEE
13 years 12 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
ICPP
1998
IEEE
13 years 11 months ago
1998
IEEE
In contrast to the conventional send/receive model, the one-way communication model--using Put and Synch--allows the decoupling of message transmission from synchronization. This ...