Sciweavers

4930 search results - page 214 / 986
» Testing a Safety-Critical Application
Sort
View
CBSE
2006
Springer
15 years 10 months ago
Impact of Virtual Memory Managers on Performance of J2EE Applications
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
Alexander Ufimtsev, Alena Kucharenka, Liam Murphy
FMOODS
2007
15 years 8 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
DS
2001
118views Database» more  DS 2001»
15 years 8 months ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
IJCV
2006
158views more  IJCV 2006»
15 years 6 months ago
3D Structure Recovery and Unwarping of Surfaces Applicable to Planes
The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishing Gaussia...
Nail A. Gumerov, Ali Zandifar, Ramani Duraiswami, ...
PROCEDIA
2010
113views more  PROCEDIA 2010»
15 years 5 months ago
Exploring utilisation of GPU for database applications
This study is devoted to exploring possible applications of GPU technology for acceleration of the database access. We use the n-gram based approximate text search engine as a tes...
Slawomir Walkowiak, Konrad Wawruch, Marita Nowotka...