Sciweavers

3717 search results - page 115 / 744
» Architecture-Based Design of Computer Based Systems
Sort
View
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
15 years 8 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
DAC
2002
ACM
16 years 3 months ago
A framework for evaluating design tradeoffs in packet processing architectures
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
Lothar Thiele, Matthias Gries, Samarjit Chakrabort...
CLUSTER
2009
IEEE
15 years 6 months ago
Analytical modeling and optimization for affinity based thread scheduling on multicore systems
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
Fengguang Song, Shirley Moore, Jack Dongarra
110
Voted
ISPDC
2005
IEEE
15 years 8 months ago
Collaborative Data Distribution with BitTorrent for Computational Desktop Grids
— Data-centric applications are still a challenging issue for Large Scale Distributed Computing Systems. The emergence of new protocols and softwares for collaborative content di...
Baohua Wei, Gilles Fedak, Franck Cappello
148
Voted
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
15 years 6 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier