Sciweavers

905 search results - page 100 / 181
» Public key distribution through
Sort
View
APSEC
2004
IEEE
14 years 21 days ago
Assigning Tasks in a 24-Hour Software Development Model
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...
Pankaj Jalote, Gourav Jain
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
13 years 10 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
FORTE
2007
13 years 10 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
APPT
2007
Springer
14 years 3 months ago
Domain Level Page Sharing in Xen Virtual Machine Systems
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
Myeongjae Jeon, Euiseong Seo, Junghyun Kim, Joonwo...
PVM
2009
Springer
14 years 1 months ago
Multiple-Level MPI File Write-Back and Prefetching for Blue Gene Systems
This paper presents the design and implementation of an asynchronous data-staging strategy for file accesses based on ROMIO, the most popular MPI-IO distribution, and ZeptoOS, an ...
Javier García Blas, Florin Isaila, Jes&uacu...