Sciweavers

8493 search results - page 1083 / 1699
» Implementing a distributed firewall
Sort
View
SBACPAD
2007
IEEE
121views Hardware» more  SBACPAD 2007»
16 years 1 months ago
DTA-C: A Decoupled multi-Threaded Architecture for CMP Systems
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
Roberto Giorgi, Zdravko Popovic, Nikola Puzovic
TASE
2007
IEEE
16 years 1 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
VTC
2007
IEEE
100views Communications» more  VTC 2007»
16 years 1 months ago
Space-Time Trellis Coding Exploiting Superimposed Transmissions in Half-Duplex Relay Networks
— This work presents and analyzes a cooperative relaying approach which offers large scale spatial diversity and an additional coding advantage in a virtual antenna array. It uti...
Peter Rost, Gerhard Fettweis
WACV
2007
IEEE
16 years 1 months ago
Motion Estimation Using a General Purpose Neural Network Simulator for Visual Attention
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
Florentin Dorian Vintila, John K. Tsotsos
ATVA
2007
Springer
152views Hardware» more  ATVA 2007»
16 years 1 months ago
Bounded Synthesis
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
Sven Schewe, Bernd Finkbeiner
« Prev « First page 1083 / 1699 Last » Next »