Sciweavers

151 search results - page 21 / 31
» Performance Enhancement by Eliminating Redundant Function Ex...
Sort
View
PLDI
1998
ACM
13 years 11 months ago
Type-Based Alias Analysis
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
LISP
2007
74views more  LISP 2007»
13 years 7 months ago
Improving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...
AADEBUG
2005
Springer
14 years 28 days ago
Debugging object-oriented programs with behavior views
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
Donglin Liang, Kai Xu 0002
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
14 years 2 months ago
Simultaneous localization of mobile robot and multiple sound sources using microphone array
Sound source localization is an important function in robot audition. The existing works perform sound source localization using static microphone arrays. This work proposes a fram...
Jwu-Sheng Hu, Chen-Yu Chan, Cheng-Kang Wang, Chieh...
ESCIENCE
2007
IEEE
14 years 1 months ago
Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...
Yun Yang, Ke Liu, Jinjun Chen, Joel Lignier, Hai J...