Sciweavers

1566 search results - page 162 / 314
» Saving Space in a Time Efficient Simulation Algorithm
Sort
View
ICMCS
2006
IEEE
118views Multimedia» more  ICMCS 2006»
14 years 2 months ago
An Improved Resource Reservation Algorithm for IEEE 802.15.3
In this paper, we propose an improved resource reservation algorithm ESRPT (Enhanced Shortest Remaining Processing Time) for bursty traffic based on IEEE 802.15.3 standard. In thi...
Xin Liu, Qionghai Dai, Qiufeng Wu
CCGRID
2010
IEEE
13 years 9 months ago
A Bi-criteria Algorithm for Scheduling Parallel Task Graphs on Clusters
Applications structured as parallel task graphs exhibit both data and task parallelism, and arise in many domains. Scheduling these applications on parallel platforms has been a lo...
Frédéric Desprez, Frédé...
DAC
2006
ACM
14 years 9 months ago
Statistical timing analysis with correlated non-gaussian parameters using independent component analysis
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
Jaskirat Singh, Sachin S. Sapatnekar
TNN
2008
128views more  TNN 2008»
13 years 8 months ago
A Hybrid Technique for Blind Separation of Non-Gaussian and Time-Correlated Sources Using a Multicomponent Approach
Blind inversion of a linear and instantaneous mixture of source signals is a problem often encountered in many signal processing applications. Efficient FastICA (EFICA) offers an ...
Petr Tichavský, Zbynek Koldovský, Ar...
FMCAD
2004
Springer
13 years 11 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar