Sciweavers

3059 search results - page 241 / 612
» with Wide Functional Units
Sort
View
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
16 years 1 months ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
ICDE
2006
IEEE
131views Database» more  ICDE 2006»
16 years 25 days ago
A Peer-to-Peer Architecture to Enable Versatile Lookup System Design
The resource lookup requirements in applications such as web caching, web content search, content distribution, resource sharing, network monitoring and management, and e-commerce...
Vivek Sawant, Jasleen Kaur
ASAP
2005
IEEE
118views Hardware» more  ASAP 2005»
16 years 13 days ago
Real-time H/W Implementation of the Approximate Discrete Radon Transform
The Radon transform (RT) is a widely studied algorithm used to perform image pattern extraction in fields such as computer graphics, medical imagery, and avionics. Real-time impl...
Michael T. Frederick, Nathan A. VanderHorn, Arun K...
ICAC
2005
IEEE
16 years 12 days ago
Resource Allocation for Autonomic Data Centers using Analytic Performance Models
Large data centers host several application environments (AEs) that are subject to workloads whose intensity varies widely and unpredictably. Therefore, the servers of the data ce...
Mohamed N. Bennani, Daniel A. Menascé
ICIAP
2005
ACM
16 years 9 days ago
Robust Particle Filtering for Object Tracking
Abstract. This paper addresses the filtering problem when no assumption about linearity or gaussianity is made on the involved density functions. This approach, widely known as pa...
Daniel Rowe, Ignasi Rius, Jordi Gonzàlez, J...