5863 search results - page 772 / 1173 » On Model-Checking of P Systems |
191
click to vote
IWCMC
2006
ACM
16 years 24 days ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
162
click to vote
EUROMICRO
2005
IEEE
16 years 13 days ago
2005
IEEE
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
196
Voted
ISIPTA
2005
IEEE
16 years 12 days ago
2005
IEEE
The main goal of this paper is to describe a new semantic for conditional independence in terms of no double counting of uncertain evidence. For ease of exposition, we use probabi...
161
click to vote
ISPASS
2005
IEEE
16 years 12 days ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
159
click to vote
WORDS
2005
IEEE
16 years 12 days ago
2005
IEEE
The single-path software/hardware architecture has been conceived with the goal to support real-time task execution with highly predictable timing. By using WCET-oriented programm...