23119 search results - page 4414 / 4624 » From Domain to Requirements |
209
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
The goal of tele-immersion has long been to enable people at remote locations to share a sense of presence. A tele-immersion system acquires the 3D representation of a collaborato...
218
Voted
PADS
2003
ACM
15 years 12 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
277
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
180
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
171
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...