Sciweavers

1262 search results - page 88 / 253
» Techniques for obtaining high performance in Java programs
Sort
View
MICRO
1999
IEEE
136views Hardware» more  MICRO 1999»
15 years 9 months ago
Read-After-Read Memory Dependence Prediction
: We identify that typical programs exhibit highly regular read-after-read (RAR) memory dependence streams. We exploit this regularity by introducing read-after-read (RAR) memory d...
Andreas Moshovos, Gurindar S. Sohi
FASE
2004
Springer
15 years 10 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
ISSTA
2006
ACM
15 years 11 months ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
BMCBI
2004
159views more  BMCBI 2004»
15 years 5 months ago
Extractor for ESI quadrupole TOF tandem MS data enabled for high throughput batch processing
Background: Mass spectrometry based proteomics result in huge amounts of data that has to be processed in real time in order to efficiently feed identification algorithms and to e...
Andreas M. Boehm, Robert P. Galvin, Albert Sickman...
TIC
2000
Springer
137views System Software» more  TIC 2000»
15 years 8 months ago
Scalable Certification for Typed Assembly Language
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
Dan Grossman, J. Gregory Morrisett