3307 search results - page 104 / 662 » The meaning of concurrent programs |
148
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
150
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
138
Voted
ICDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
116
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
107
Voted
ICANNGA
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a new technique for automatically developing Artificial Neural Networks (ANNs) by means of an Evolutionary Computation (EC) tool, called Genetic Programming (G...