Sciweavers

2624 search results - page 270 / 525
» The 2LIP model and its implementations
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 7 months 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...
125
Voted
ICN
2009
Springer
15 years 7 months 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...
86
Voted
ICTAI
2007
IEEE
15 years 7 months 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á...
100
Voted
SC
2003
ACM
15 years 6 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 5 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