Sciweavers

1031 search results - page 110 / 207
» On the Effects of Bandwidth Reduction Techniques in Distribu...
Sort
View
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
ICDE
2006
IEEE
122views Database» more  ICDE 2006»
16 years 8 days ago
Flexibly Resizable Multidimensional Arrays
: Handling with large amount of data is common now. Employing extendible array to deal with increasing data is really effective. But in the conventional extendible arrays all of th...
Masakazu Kumakiri, Li Bei, Tatsuo Tsuji, Ken Higuc...
ASPLOS
2008
ACM
15 years 8 months ago
Communication optimizations for global multi-threaded instruction scheduling
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
Guilherme Ottoni, David I. August
CODASPY
2012
14 years 1 months ago
Detecting repackaged smartphone applications in third-party android marketplaces
Recent years have witnessed incredible popularity and adoption of smartphones and mobile devices, which is accompanied by large amount and wide variety of feature-rich smartphone ...
Wu Zhou, Yajin Zhou, Xuxian Jiang, Peng Ning
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
16 years 3 months ago
Fast 3-D Inductance Extraction in Lossy Multi-Layer Substrate
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
Minqing Liu, Tiejun Yu, Wayne Wei-Ming Dai