Sciweavers

2116 search results - page 147 / 424
» Resource Analysis by Sup-interpretation
Sort
View
LREC
2008
132views Education» more  LREC 2008»
15 years 5 months ago
A Bilingual Corpus of Inter-linked Events
This paper describes the creation of a bilingual corpus of inter-linked events for Italian and English. Linkage is accomplished through the Inter-Lingual Index (ILI) that links It...
Tommaso Caselli, Nancy Ide, Roberto Bartolini
155
Voted
EAGC
2004
Springer
15 years 9 months ago
Monitoring Message-Passing Parallel Applications in the Grid with GRM and Mercury Monitor
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
Norbert Podhorszki, Zoltán Balaton, Gabor G...
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 10 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
GLOBECOM
2009
IEEE
15 years 10 months ago
Opportunistic Cell Edge Selection in Multi-Cell OFDMA Networks
Abstract— We propose an intercell downlink orthogonal frequency division multiple access (OFDMA) scheduling technique in a sectorized cellular network. Adjacent sectors from neig...
Chun Kin Au-Yeung, Amine Maaref, Jinyun Zhang
140
Voted
SECON
2008
IEEE
15 years 10 months ago
Content Distribution in VANETs Using Network Coding: The Effect of Disk I/O and Processing O/H
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
Seung-Hoon Lee, Uichin Lee, Kang-Won Lee, Mario Ge...