3307 search results - page 95 / 662 » The meaning of concurrent programs |
100
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
93
Voted
WOA
2001
15 years 2 months ago
2001
This paper proposes a coordination model, for both nd mobile agents, based on abstract structures called Communicators, entities which handle agent dialogue performed through ACL ...
96
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
122
click to vote
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
97
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— This paper shows that the k-means quantization of a signal can be interpreted both as a crisp indicator function and as a fuzzy membership assignment describing fuzzy clusters ...