Sciweavers

1332 search results - page 175 / 267
» A generative programming approach to developing pervasive co...
Sort
View
DAC
2008
ACM
16 years 8 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
ISAS
2007
Springer
16 years 1 months ago
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha...
CIM
2011
171views Hardware» more  CIM 2011»
15 years 2 months ago
Towards Cognitively Plausible Game Playing Systems
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
Jacek Mandziuk
AAAI
1994
15 years 8 months ago
Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System
We propose a novel approach to auditory stream segregation which extracts individual sounds (auditory stream) from a mixture of sounds in auditory scene analysis. The HBSS (Harmon...
Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawab...
286
Voted
KDD
2007
ACM
566views Data Mining» more  KDD 2007»
16 years 7 months ago
IMDS: intelligent malware detection system
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
Yanfang Ye, Dingding Wang, Tao Li, Dongyi Ye