2226 search results - page 52 / 446 » Pdk: The System and Its Language |
MICS
2008
15 years 1 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
121
click to vote
AMDO
2004
Springer
15 years 7 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
163
click to vote
ICS
1992
Tsinghua U.
15 years 6 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
115
click to vote
TMM
2002
15 years 1 months ago
2002
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...
107
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...