3431 search results - page 79 / 687 » A new instructional operating system |
161
click to vote
WSC
2008
15 years 8 months ago
2008
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...
144
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
144
click to vote
SRDS
2008
IEEE
16 years 17 days ago
2008
IEEE
Unattended Wireless Sensor Networks (UWSNs) are composed of many small resource-constrained devices and operate autonomously, gathering data which is periodically collected by a v...
154
click to vote
IPPS
2008
IEEE
16 years 18 days ago
2008
IEEE
Accurate, reproducible and comparable measurement of collective operations is a complicated task. Although Different measurement schemes are implemented in wellknown benchmarks, m...
175
click to vote
LOGCOM
1998
15 years 5 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...