5863 search results - page 317 / 1173 » On Model-Checking of P Systems |
153
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study the weight dynamics of the floating-gate pFET synapse and the effects of the pFET's gate and drain voltages on these dynamics. We show that we can derive a weight upd...
181
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—For the WAVE applications built on safety beacons, it is imperative that the neighboring vehicle information be collected as quickly and efficiently as possible. But the unreli...
215
click to vote
IPPS
2002
IEEE
16 years 10 days ago
2002
IEEE
In modern resource management systems for supercomputers and HPC-clusters the job-scheduler plays a major role in improving the performance and usability of the system. The perfor...
240
click to vote
TPDS
2008
15 years 7 months ago
2008
Most trust models in Peer-to-Peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer's identity. Hence,...
209
click to vote
CAISE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. With the advent of Service Oriented Architecture organizations have experienced services as a platform-independent technology to develop and use simple internal applicati...