3373 search results - page 472 / 675 » Linear transformations on codes |
175
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
One fundamental problem with streaming video data over unreliable IP networks is that packets may be dropped or arrive too late for real-time playback. Traditional error-control s...
163
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
160
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
144
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
182
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...