2500 search results - page 252 / 500 » Specifying Behavior in C |
123
click to vote
CI
2007
15 years 4 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...
136
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
136
click to vote
AAI
1999
15 years 4 months ago
1999
Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support students' problem solving. Because of their strong visual ...
160
click to vote
DIALM
2007
ACM
15 years 8 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
155
click to vote
CCR
2008
15 years 4 months ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...