Sciweavers

46 search results - page 2 / 10
» pe 2010
Sort
View
PE
2010
Springer
180views Optimization» more  PE 2010»
13 years 9 months ago
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
PE
2010
Springer
122views Optimization» more  PE 2010»
13 years 9 months ago
Online anomaly detection for sensor systems: A simple and efficient approach
Yuan Yao, Abhishek Sharma, Leana Golubchik, Ramesh...
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 11 months ago
On Network-Error Correcting Convolutional Codes under the BSC Edge Error Model
Convolutional network-error correcting codes (CNECCs) are known to provide error correcting capability in acyclic instantaneous networks within the network coding paradigm under sm...
K. Prasad, B. Sundar Rajan
DATE
2010
IEEE
113views Hardware» more  DATE 2010»
14 years 4 months ago
PM-COSYN: PE and memory co-synthesis for MPSoCs
—Multi-Processor System-on-Chips (MPSoCs) exploit task-level parallelism to achieve high computation throughput, but concurrent memory accesses from multiple PEs may cause memory...
Yi-Jung Chen, Chia-Lin Yang, Po-Han Wang
CLEF
2010
Springer
13 years 12 months ago
Medical Image Retrieval: ISSR at CLEF 2010
This is the second participation of Institute of Statistical Studies and Research (ISSR) group in CLEF 2010-Medical image retrieval track. This paper describes our experiments in m...
Ragia Ibrahim Waleed Arafa