2878 search results - page 510 / 576 » Analyzing the Uses of a Software Modeling Tool |
147
click to vote
ICTAI
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
108
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
124
click to vote
MOC
2011
14 years 8 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
134
Voted
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
116
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...