5054 search results - page 215 / 1011 » simulation 2008 |
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
126
click to vote
WSC
2008
15 years 6 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
116
click to vote
WSC
2008
15 years 6 months ago
2008
Pricing and lead time setting are two important decisions in semiconductor foundry industries. This research considers the competition of a duopoly market consisting of two make-t...
WSC
2008
15 years 6 months ago
2008
The Army's MK-19 weapon system is an automatic grenade launcher capable of destroying thin-skinned vehicles and dismounted targets at ranges up to 2200 meters. Since its firs...
107
click to vote
WSC
2008
15 years 6 months ago
2008
To prepare for the event of bioterrorism, which could spread contagious disease such as anthrax, plague, smallpox, or tularemia to public, local governments in the United States a...