Sciweavers

2032 search results - page 19 / 407
» Improving Java performance using hardware translation
Sort
View
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
15 years 6 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
ICNS
2006
IEEE
15 years 3 months ago
Proposal for compilation techniques of monitoring tasks to improve applications management performance
The emergence of middleware solutions and new services, even on small devices, will need adapted distributed management solutions which address these specificities, both in terms ...
Bernard Kaddour, Joël Quinqueton
ENTCS
2007
107views more  ENTCS 2007»
14 years 9 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
ACL
2009
14 years 7 months ago
A Comparative Study of Hypothesis Alignment and its Improvement for Machine Translation System Combination
Recently confusion network decoding shows the best performance in combining outputs from multiple machine translation (MT) systems. However, overcoming different word orders prese...
Boxing Chen, Min Zhang, Haizhou Li, AiTi Aw
WSC
1997
14 years 10 months ago
Java Based Conservative Distributed Simulation
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
Alois Ferscha, Michael Richter