2947 search results - page 115 / 590 » Analyzing Program Analyses |
114
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
A novel design for vortex modulation of a passive chaotic micromixer, named a circulation-disturbance micromixer (CDM), has been achieved and analyzed experimentally and numericall...
112
click to vote
IJACTAICIT
2010
15 years 1 months ago
2010
This paper have shown an expert system design by using optimization methods for the Focused ion beam FIB optical system, by mixing the dynamic programming procedure and artificial...
145
click to vote
WSC
2008
15 years 6 months ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
134
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
There are numerous ways to evaluate student programming ability, all of which have benefits and drawbacks. In this paper we discuss how we have combined a number of those evaluati...
138
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...