Sciweavers

1773 search results - page 162 / 355
» A new partitioning scheme for improvement of image computati...
Sort
View
SBACPAD
2003
IEEE
138views Hardware» more  SBACPAD 2003»
15 years 7 months ago
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing
 This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
João Paulo De Angeli, Andréa M. P. V...
100
Voted
DAC
1998
ACM
16 years 2 months ago
Approximation and Decomposition of Binary Decision Diagrams
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple...
113
Voted
ESORICS
2009
Springer
16 years 2 months ago
Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
Qian Wang, Cong Wang, Jin Li, Kui Ren, Wenjing Lou
ACSC
2007
IEEE
15 years 8 months ago
The CRSS Metric for Package Design Quality
Package design is concerned with the determining the best way to partition the classes in a system into subsystems. A poor package design can adversely affect the quality of a sof...
Hayden Melton, Ewan D. Tempero
ISVC
2005
Springer
15 years 7 months ago
Retinal Image Registration for NIH's ETDRS
This paper presents a retinal image registration approach for National Institute of Health (NIH)’s Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging ...
Thitiporn Chanwimaluang, Guoliang Fan