Sciweavers

4745 search results - page 742 / 949
» Discretization: An Enabling Technique
Sort
View
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
15 years 11 months ago
Scoped identifiers for efficient bit aligned logging
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
Roy Shea, Mani B. Srivastava, Young Cho
156
Voted
SSDBM
2010
IEEE
112views Database» more  SSDBM 2010»
15 years 11 months ago
BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
Julio López, Leonardo Ramírez-Guzm&a...
ICFP
1999
ACM
15 years 11 months ago
Flexible Type Analysis
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Karl Crary, Stephanie Weirich
ICFP
1999
ACM
15 years 11 months ago
Representing Java Classes in a Typed Intermediate Language
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
Christopher League, Zhong Shao, Valery Trifonov
ICRA
1999
IEEE
145views Robotics» more  ICRA 1999»
15 years 11 months ago
Advances in Doppler-Based Navigation of Underwater Robotic Vehicles
New low-cost commercially available bottom-lock doppler sonars can augment or replace the acoustic timeof-flight navigation systems commonly employed for threedimensional underwat...
Louis L. Whitcomb, Dana R. Yoerger, Hanumant Singh