Sciweavers

939 search results - page 85 / 188
» Improving Dynamic Data Analysis with Aspect-Oriented Program...
Sort
View
118
Voted
ISBI
2006
IEEE
16 years 4 months ago
Automated tracking and modeling of microtubule dynamics
The method of microtubule tracking and dynamics analysis, presented here, improves upon the current means of manual and automated quantification of microtubule behavior. Key contr...
Motaz A. El Saban, Alphan Altinok, Austin J. Peck,...
PLDI
2009
ACM
15 years 10 months ago
Snugglebug: a powerful approach to weakest preconditions
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
Satish Chandra, Stephen J. Fink, Manu Sridharan
PLDI
2012
ACM
13 years 6 months ago
Fast and precise hybrid type inference for JavaScript
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
Brian Hackett, Shu-yu Guo
ISLPED
1999
ACM
150views Hardware» more  ISLPED 1999»
15 years 8 months ago
Using dynamic cache management techniques to reduce energy in a high-performance processor
In this paper, we propose a technique that uses an additional mini cache, the L0-Cache, located between the instruction cache I-Cache and the CPU core. This mechanism can provid...
Nikolaos Bellas, Ibrahim N. Hajj, Constantine D. P...
IADIS
2003
15 years 5 months ago
The Dynamics of Trade Patterns in the Internet Era
The effects of the privatization and commercialization of Internet on world trade are often debated but few rigorous conclusions emerge. Such conclusions have not been based on in...
Vijay K. Vemuri, Shahid Siddiqi