Sciweavers

5766 search results - page 341 / 1154
» Reverse Engineering of Data
Sort
View
FOSSACS
2006
Springer
15 years 10 months ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
PE
2007
Springer
97views Optimization» more  PE 2007»
15 years 6 months ago
On processor sharing and its applications to cellular data network provisioning
To develop simple traffic engineering rules for the downlink of a cellular system using Proportional Fairness (PF) scheduling, we study the “strict” and “approximate” ins...
Yujing Wu, Carey L. Williamson, Jingxiang Luo
ICWN
2007
15 years 8 months ago
CA Based Data Servicing In Cellular Mobile Network
—This work presents an efficient data service scheme for location dependent data/objects in a cellular mobile network. It is developed around the hardware structure of cellular ...
Sukanta Das, Sipra DasBit, Biplab K. Sikdar
ISCIS
2009
Springer
15 years 11 months ago
PopulusLog: People information database
—Information about individuals on publicly available web sites stands as a valuable, yet unorganized, data source. Turning such an enormous data source into a “database” is h...
Ali Cakmak, Mustafa Kirac, Gultekin Özsoyoglu
CCECE
2009
IEEE
15 years 11 months ago
A 10-Gb/s backplane transmitter with a FIR pre-emphasis equalizer to suppress ISI at data centers and edges simultaneously
This paper presents a 10-Gb/s backplane transmitter with a finite impulse response (FIR) pre-emphasis equalizer to suppress inter-symbol-interference (ISI) at data centers and tra...
Dianyong Chen, Bo Wang, Bangli Liang, Tad Kwasniew...