Sciweavers

4966 search results - page 658 / 994
» its 2010
Sort
View
JSA
2010
101views more  JSA 2010»
15 years 5 months ago
Experimental evaluation of slack management in real-time control systems: Coordinated vs. self-triggered approach
Effective slack management, i.e. management of unused computing resources, for real-time control tasks mandates to redistribute the available resources between controllers as a f...
Manel Velasco, Pau Martí, Josep M. Fuertes,...
JSAC
2010
104views more  JSAC 2010»
15 years 5 months ago
A priority-based processor sharing model for TDM passive optical networks
—The use of passive optical networks (PONs) enables access rates of multi-Gbit/sec bandwidth and provision of quality of service for high definition multimedia services. In this...
Yan Wang, Moshe Zukerman, Ron Addie, Sammy Chan, R...
JSAC
2010
94views more  JSAC 2010»
15 years 5 months ago
LISP-TREE: A DNS Hierarchy to Support the LISP Mapping System
During the last years several operators have expressed concerns about the continued growth of the BGP routing tables in the default-free zone. Proposed solutions for this issue ar...
Loránd Jakab, Albert Cabellos-Aparicio, Flo...
JSC
2010
106views more  JSC 2010»
15 years 5 months ago
Verifying pointer safety for programs with unknown calls
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
Chenguang Luo, Florin Craciun, Shengchao Qin, Guan...
JUCS
2010
64views more  JUCS 2010»
15 years 5 months ago
Selection among Renewable Energy Alternatives Using Fuzzy Axiomatic Design: The Case of Turkey
: Renewable energy is a source of energy derived from natural resources such as sunlight, wind, water, tides, hot dry rocks, magma, hot water springs, fire wood, animal manure, and...
Cengiz Kahraman, Selcuk Cebi, Ihsan Kaya