Sciweavers

2384 search results - page 449 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
108
Voted
ENTCS
2006
176views more  ENTCS 2006»
14 years 11 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
IPPS
2010
IEEE
14 years 9 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 ...
STOC
2012
ACM
251views Algorithms» more  STOC 2012»
13 years 2 months ago
Minimax option pricing meets black-scholes in the limit
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
Jacob Abernethy, Rafael M. Frongillo, Andre Wibiso...
ASUNAM
2010
IEEE
15 years 1 months ago
Assessing Expertise Awareness in Resolution Networks
Problem resolution is a key issue in the IT service industry. A large service provider handles, on daily basis, thousands of tickets that report various types of problems from its...
Yi Chen, Shu Tao, Xifeng Yan, Nikos Anerousis, Qih...
NAR
2007
82views more  NAR 2007»
14 years 11 months ago
Towards pathogenomics: a web-based resource for pathogenicity islands
Pathogenicity islands (PAIs) are genetic elements whose products are essential to the process of disease development. They have been horizontally (laterally) transferred from othe...
Sung Ho Yoon, Young-Kyu Park, Soohyun Lee, Doil Ch...