Sciweavers

4355 search results - page 519 / 871
» Increasing Kolmogorov Complexity
Sort
View
KBSE
2006
IEEE
16 years 24 days ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
LCN
2006
IEEE
16 years 24 days ago
Efficient Packet Processing in User-Level OSes: A Study of UML
Network server consolidation has become popular through recent virtualization technology that builds secure, isolated network systems on shared hardware. One of the virtualization...
Younggyun Koh, Calton Pu, Sapan Bhatia, Charles Co...
RTAS
2006
IEEE
16 years 24 days ago
Estimating the Worst-Case Energy Consumption of Embedded Software
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
Ramkumar Jayaseelan, Tulika Mitra, Xianfeng Li
VTC
2006
IEEE
16 years 23 days ago
Transmitter-Based Pre-Processing for OFDM-CDMA Forward-Link Systems with Two-Dimensional Spreading
—Transmitter-based signal pre-processing is investigated for the two-dimensional (2-D) OFDM-CDMA (orthogonal frequency division multiplexing, code division multiple access) forwa...
Chih-Cheng Kuo, Wern-Ho Sheen, Chung-Ju Chang, Cha...
DAC
2006
ACM
16 years 22 days ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...