7961 search results - page 294 / 1593 » Input-Output Model Programs |
184
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
166
click to vote
APLAS
2011
ACM
14 years 4 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
213
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
132
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
122
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...