1991 search results - page 181 / 399 » Using a Coding Standard to Improve Program Quality |
135
Voted
ENTCS
2006
15 years 2 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
139
Voted
UAI
2008
15 years 3 months ago
2008
Linear Programming (LP) relaxations have become powerful tools for finding the most probable (MAP) configuration in graphical models. These relaxations can be solved efficiently u...
134
click to vote
SPDP
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
135
click to vote
IJVR
2006
15 years 2 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
110
click to vote
VMCAI
2009
Springer
15 years 9 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...