21319 search results - page 647 / 4264 » An Approach for Method Reengineering |
183
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we present a method which allows the statistical analysis of nanoelectronic Boolean networks with respect to timing uncertainty and noise. All signals are considered...
181
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
173
click to vote
IMSCCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The properties of a LPAPI-matrix derived from an extended Direct-SIMPLE scheme are demonstrated. It is shown that such LPAPI-matrix for a 3D strong P V coupling problem is difficu...
178
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
a This paper presents a novel Adaptive Dynamic Gridbased Data Distribution Management (DDM) scheme, which we refer to as ADGB. The main objective of our protocol is to optimize DDM...
191
click to vote
SIGDOC
2006
ACM
16 years 1 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...