Sciweavers

549 search results - page 44 / 110
» formats 2010
Sort
View
JSS
2010
132views more  JSS 2010»
14 years 7 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
119
Voted
MEMICS
2010
14 years 7 months ago
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
Jiri Matela, Vit Rusnak, Petr Holub
NAR
2010
107views more  NAR 2010»
14 years 7 months ago
PLAST-ncRNA: Partition function Local Alignment Search Tool for non-coding RNA sequences
Alignment-based programs are valuable tools for finding potential homologs in genome sequences. Previously, it has been shown that partition function posterior probabilities attun...
Satish Chikkagoudar, Dennis R. Livesay, Usman Rosh...
109
Voted
PROCEDIA
2010
103views more  PROCEDIA 2010»
14 years 7 months ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly
103
Voted
ATAL
2010
Springer
15 years 1 months ago
A logic-based representation for coalitional games with externalities
We consider the issue of representing coalitional games in multiagent systems that exhibit externalities from coalition formation, i.e., systems in which the gain from forming a c...
Tomasz P. Michalak, Dorota Marciniak, Marcin Szamo...