2880 search results - page 186 / 576 » Types are calling conventions |
131
click to vote
USENIX
1994
15 years 7 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...
123
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Cell sorting is a fundamental phenomenon in morphogenesis, which is the process that leads to shape formation in living organisms. The sorting of heterotypic cell populations is p...
163
click to vote
EOR
2008
15 years 6 months ago
2008
In Multi-Protocol Label Switching (MPLS) networks, traffic demands can be routed along tunnels called Label Switched Paths (LSPs). A tunnel is characterized by a path in the netwo...
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...