Sciweavers

694 search results - page 16 / 139
» Achieving and assuring high availability
Sort
View
TNC
2004
112views Education» more  TNC 2004»
13 years 8 months ago
On the Joint Use of new TCP Proposals and IP-QoS on High Bandwidth-RTT Product Paths
A very practical network problem for the effective deployment of a transatlantic computational GRID which is the current under-utilisation of the newly available fat long pipes dr...
Andrea di Donato, Peter Clarke, Frank Saka, Javier...
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
14 years 1 months ago
Faster exploration of high level design alternatives using UML for better partitions
Partitioning is a time consuming and computationally complex optimization problem in the codesign of hardware software systems. The stringent time-to-market requirements have resu...
Waseem Ahmed, Doug Myers
PADL
2009
Springer
14 years 8 months ago
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
Ketil Malde, Bryan O'Sullivan
NOMS
2008
IEEE
105views Communications» more  NOMS 2008»
14 years 1 months ago
Improving QoS guarantees through implicit AC
—In multiservice networks, admission control (AC) is a convenient means of assuring high quality communications by safeguarding enough availability for customer traffic. This ca...
Solange Rito Lima, Pedro Sousa, Paulo Carvalho
TAP
2008
Springer
144views Hardware» more  TAP 2008»
13 years 7 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...