9455 search results - page 90 / 1891 » The Modelling Language Zinc |
163
Voted
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
152
Voted
ENTCS
2006
15 years 3 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
147
Voted
AC
1998
Springer
15 years 3 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
137
Voted
EWSPT
1995
Springer
15 years 7 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
125
Voted
ACL
1997
15 years 5 months ago
1997
Several recent efforts in statistical natural language understanding (NLU) have focused on generating clumps of English words from semantic meaning concepts (Miller et al., 1995; ...