3799 search results - page 660 / 760 » An Engineering Approach to Formal Methods |
132
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication misses--those serviced by dirty data in remote caches--are a pressing performance limiter in shared-memory multiprocessors. Recent research has indicated that tempor...
157
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper suggests a novel image compression scheme, using the discrete wavelet transformation (DWT) and the fuzzy c-means clustering technique. The goal is to achieve higher com...
140
click to vote
WSC
2007
15 years 6 months ago
2007
This panel reflects upon their experiences as simulation professionals and shares their thoughts regarding elements of their simulation education that they have found most helpful...
135
Voted
CSC
2008
15 years 6 months ago
2008
Many applications of Mathematical Physics and Engineering are connected with the Laplacian, however, the most part of BVP relevant to the Laplacian are solved in explicit form onl...
135
click to vote
SERP
2003
15 years 5 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...