5863 search results - page 733 / 1173 » On Model-Checking of P Systems |
165
click to vote
ICPP
1991
IEEE
15 years 10 months ago
1991
IEEE
This paper presents an architecture for programmable systolic arrays that provides simple and e cient systolic communication. The Brown Systolic Array is a linear implementation o...
227
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
152
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Axelrod’s original experiments for evolving IPD player strategies involved the use of a basic GA. In this paper we examine how well a simple GA performs against the more recent P...
149
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
145
click to vote
HCI
2007
15 years 8 months ago
2007
This paper presents an ethnographic method for assessing user needs in designing for rural settings. “Serial Hanging Out” consists of short-term participant observation with mu...