3387 search results - page 605 / 678 » Model-Checking for Real-Time Systems |
ARGMAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
ESTIMEDIA
2009
Springer
14 years 3 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper discusses several important aspects in the HSUPA scheduling algorithms. First, it clearly demonstrates the benefit of explicitly utilizing the directly measured Rise-...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Peer-to-Peer (P2P) networks have proven to be an efficient and successful mechanism for file sharing over the Internet. However, current P2P protocols have long worst case query...