Sciweavers

3792 search results - page 739 / 759
» Techniques for Trusted Software Engineering
Sort
View
96
Voted
FUNGAMES
2010
15 years 1 months ago
Emotion control system for MIDI excerpts: MOR2ART
Emotional expression when performing music (singing or playing musical instruments) requires skill, but such a skill is generally difficult to learn. Computer systems that can mak...
Noritaka Moriguchi, Emi Wada, Masanobu Miura
SAC
2010
ACM
15 years 18 days ago
Improving the efficiency of dynamic malware analysis
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
Ulrich Bayer, Engin Kirda, Christopher Kruegel
BMCBI
2008
118views more  BMCBI 2008»
15 years 15 days ago
DOVIS: an implementation for high-throughput virtual screening using AutoDock
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
Shuxing Zhang, Kamal Kumar, Xiaohui Jiang, Anders ...
123
Voted
JUCS
2000
102views more  JUCS 2000»
15 years 5 days ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
107
Voted
IPPS
2010
IEEE
14 years 10 months ago
Acceleration of spiking neural networks in emerging multi-core and GPU architectures
Recently, there has been strong interest in large-scale simulations of biological spiking neural networks (SNN) to model the human brain mechanisms and capture its inference capabi...
Mohammad A. Bhuiyan, Vivek K. Pallipuram, Melissa ...