Sciweavers

2624 search results - page 270 / 525
» The 2LIP model and its implementations
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 13 days ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICN
2009
Springer
16 years 13 days ago
jSon: Network of Active Elements with Peer-to-Peer Control Plane
In this paper, we describe and evaluate a scalable network of Active Elements (AE) that implements userempowered virtual-multicast overlay network for synchronous data distributio...
Michal Procházka, Petr Holub, Eva Hladk&aac...
ICTAI
2007
IEEE
16 years 5 days ago
A Java-Based Distributed Genetic Algorithm Framework
Distributed Genetic Algorithm (DGA) is one of the most promising choices among the optimization methods. In this paper we describe DGAFrame, a flexible framework for evolutionary...
Gabi Escuela, Yudith Cardinale, Jorge Gonzá...
SC
2003
ACM
15 years 11 months ago
BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
Juan Fernández, Eitan Frachtenberg, Fabrizi...
DATE
2000
IEEE
103views Hardware» more  DATE 2000»
15 years 10 months ago
Protocol Stack-Based Telecom-Emulator
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...
Takahiro Murooka, Toshiaki Miyazaki