Sciweavers

2465 search results - page 278 / 493
» An Adaptive Distributed System Based on Conditional Dependen...
Sort
View
159
Voted
IPPS
2007
IEEE
16 years 11 days ago
Table-lookup based Crossbar Arbitration for Minimal-Routed, 2D Mesh and Torus Networks
Crossbar arbitration—which determines the allocation of output ports to packets in the input queues—is a performance-critical stage in the overall performance of routers for i...
Daeho Seo, Mithuna Thottethodi
ICPP
1998
IEEE
15 years 10 months ago
MPEG-4 Based Interactive Video using Parallel Processing
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
Yong He, Ishfaq Ahmad, Ming L. Liou
HYBRID
1998
Springer
15 years 10 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
PPSN
2004
Springer
15 years 11 months ago
Indicator-Based Selection in Multiobjective Search
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...
Eckart Zitzler, Simon Künzli
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 10 months ago
A Dynamic Service Level Negotiation Mechanism for QoS Provisioning in NGEO Satellite Networks
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...
Tarik Taleb, Kazuo Hashimoto, Nei Kato, Yoshiaki N...