Sciweavers

3879 search results - page 414 / 776
» PyPBS design and methodologies
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
TEC
2010
162views more  TEC 2010»
15 years 1 months ago
Computational Evolutionary Embryogeny
in HTML. Full version in PDF. 08i YOGEV, O., SHAPIRO, A. A., AND ANTONSSON, E. K. Computational Evolutionary Embryogeny. IEEE Transactions on Evolutionary Computation. Accepted for...
Or Yogev, Andrew A. Shapiro, Erik K. Antonsson
351
Voted
WWW
2011
ACM
15 years 1 months ago
Measuring a commercial content delivery network
Content delivery networks (CDNs) have become a crucial part of the modern Web infrastructure. This paper studies the performance of the leading content delivery provider – Akama...
Sipat Triukose, Zhihua Wen, Michael Rabinovich
ICASSP
2011
IEEE
14 years 10 months ago
Power allocation for orthogonal AF relay systems with outage-based QOS constraints
We consider the problem of minimizing the cost of the power required to achieve a specified level of quality-of-service (QoS) on a point-to-point link that may be assisted by an ...
Rooholah Hasanizadeh, Timothy N. Davidson
ICASSP
2011
IEEE
14 years 10 months ago
A high throughput parallel AVC/H.264 context-based adaptive binary arithmetic decoder
In this paper, based on the proposed parallelization scheme of binary arithmetic decoding, a parallel AVC/H.264 context-based adaptive binary arithmetic coding (CABAC) decoder wit...
Jia-Wei Liang, He-Yuan Lin, Gwo Giun Lee