Sciweavers

95 search results - page 16 / 19
» Infinite streams in Java
Sort
View
MM
2000
ACM
94views Multimedia» more  MM 2000»
13 years 12 months ago
A digital television navigator
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
Chengyuan Peng, Petri Vuorimaa
WCRE
2010
IEEE
13 years 5 months ago
From Whence It Came: Detecting Source Code Clones by Analyzing Assembler
To date, most clone detection techniques have concentrated on various forms of source code analysis, often by analyzing token streams. In this paper, we introduce a complementary ...
Ian J. Davis, Michael W. Godfrey
ICSE
2008
IEEE-ACM
14 years 8 months ago
A verification system for timed interval calculus
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
PASTE
2010
ACM
13 years 11 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
FCCM
1998
IEEE
107views VLSI» more  FCCM 1998»
13 years 11 months ago
Frequency-Domain Sonar Processing in FPGAs and DSPs
Over the past year we have been exploring the use of FPGA-based custom computing machines for several sonar beamforming applications, including time-domain beamforming[1], frequen...
Paul Graham, Brent E. Nelson