Sciweavers

15777 search results - page 2950 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
200
Voted
ERSA
2009
149views Hardware» more  ERSA 2009»
15 years 1 months ago
Hardware-Optimized Ziggurat Algorithm for High-Speed Gaussian Random Number Generators
Many scientific and engineering applications, which are increasingly being ported from software to reconfigurable platforms, require Gaussian-distributed random numbers. Thus, the...
Hassan Edrees, Brian Cheung, McCullen Sandora, Dav...
128
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
GVD
2009
191views Database» more  GVD 2009»
15 years 1 months ago
Query Processing on Multi-Core Architectures
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
Frank Huber, Johann Christoph Freytag
163
Voted
IFIPTM
2009
119views Management» more  IFIPTM 2009»
15 years 1 months ago
Detection and Prevention of Insider Threats in Database Driven Web Services
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
Tzvi Chumash, Danfeng Yao
BIB
2010
103views more  BIB 2010»
15 years 28 days ago
Challenges of sequencing human genomes
Massively parallel sequencing technologies continue to alter the study of human genetics. As the cost of sequencing declines, next-generation sequencing (NGS) instruments and data...
Daniel C. Koboldt, Li Ding, Elaine R. Mardis, Rich...
« Prev « First page 2950 / 3156 Last » Next »