587 search results - page 21 / 118 » Improving the Java memory model using CRF |
105
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
133
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
As richer models for stereo vision are constructed, there is a growing interest in learning model parameters. To estimate parameters in Markov Random Field (MRF) based stereo formu...
108
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
112
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
109
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...