4192 search results - page 708 / 839 » Probabilistic Logic Programming |
101
click to vote
PVM
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
119
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
123
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
CP
2003
Springer
15 years 8 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
124
click to vote
FPL
2003
Springer
15 years 8 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...