5358 search results - page 177 / 1072 » Script-based Presentation of Simulation Results |
108
click to vote
DATE
2008
IEEE
16 years 25 days 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 ...
165
click to vote
WCNC
2008
IEEE
16 years 23 days ago
2008
IEEE
—In this paper we study the performance of the Ambient Networks (AN) access selection architecture. We consider heterogeneous wireless networks, where mobile terminals (MTs) own ...
206
click to vote
SEUS
2007
IEEE
16 years 20 days ago
2007
IEEE
Network Simulators are important tools in network research. As the selected topology often influences the outcome of the simulation, realistic topologies are required to produce re...
138
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
—This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) for characterization of molecular elastic joints for bio nanorobotic prototyping. Simp...
195
click to vote
ASIASIM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...