Sciweavers

8493 search results - page 1129 / 1699
» Implementing a distributed firewall
Sort
View
WSC
2007
15 years 9 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
WSC
2008
15 years 9 months ago
Large deviations perspective on ordinal optimization of heavy-tailed systems
We consider the problem of selecting the best among several heavy-tailed systems using a large deviations perspective. In contrast to the light-tailed setting studied by Glynn and...
Jose Blanchet, Jingchen Liu, Bert Zwart
ARC
2008
Springer
104views Hardware» more  ARC 2008»
15 years 9 months ago
PARO: Synthesis of Hardware Accelerators for Multi-Dimensional Dataflow-Intensive Applications
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
Frank Hannig, Holger Ruckdeschel, Hritam Dutta, J&...
ATAL
2008
Springer
15 years 9 months ago
Decommitment in multi-resource negotiation
This paper presents the design and implementation of negotiation agents that negotiate with other entities for acquiring multiple resources. In our approach, agents utilize a time...
Bo An, Victor R. Lesser, Kwang Mong Sim
AMAST
2006
Springer
15 years 9 months ago
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
Matteo Dell'Amico, Maura Cerioli
« Prev « First page 1129 / 1699 Last » Next »