Sciweavers

1655 search results - page 250 / 331
» Stemming in the language modeling framework
Sort
View
ECOOP
2009
Springer
16 years 6 months ago
Making Sense of Large Heaps
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
Nick Mitchell, Edith Schonberg, Gary Sevitsky
ICFP
2006
ACM
16 years 6 months ago
Programming monads operationally with Unimo
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
Chuan-Kai Lin
ASPLOS
2010
ACM
16 years 1 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
169
Voted
HPCS
2006
IEEE
16 years 6 days ago
Grid-Enabling the Global Geodynamics Project: Automatic RDF Extraction from the ESML Data Description and Representation via GRD
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
L. Ian Lumb, Keith D. Aldridge
160
Voted
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
15 years 11 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe