Sciweavers

23 search results - page 3 / 5
» A Case for Alternative Nested Paging Models for Virtualized ...
Sort
View
BMCBI
2006
128views more  BMCBI 2006»
13 years 6 months ago
Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
Kevin L. Garwood, Christopher Garwood, Cornelia He...
ISCA
2005
IEEE
101views Hardware» more  ISCA 2005»
14 years 5 days ago
Virtualizing Transactional Memory
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
Ravi Rajwar, Maurice Herlihy, Konrad K. Lai
EMSOFT
2007
Springer
14 years 22 days ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...
FLAIRS
2008
13 years 9 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel
BMCBI
2010
98views more  BMCBI 2010»
13 years 6 months ago
Learning to predict expression efficacy of vectors in recombinant protein production
Background: Recombinant protein production is a useful biotechnology to produce a large quantity of highly soluble proteins. Currently, the most widely used production system is t...
Wen-Ching Chan, Po-Huang Liang, Yan-Ping Shih, Uen...