3192 search results - page 369 / 639 » Translating Model Simulators to Analysis Models |
174
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
131
click to vote
WSC
2004
15 years 5 months ago
2004
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
148
Voted
MMS
2007
15 years 3 months ago
2007
The wide availability of broadband networking technologies such as cable modems and DSL coupled with the growing popularity of the Internet has led to a dramatic increase in the a...
138
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
118
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...