9989 search results - page 395 / 1998 » A CLP Approach to Modelling Systems |
171
click to vote
LSSC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present an extension of an update technique for preconditioners for sequences of non-symmetric linear systems that was proposed in [5]. In addition, we describe an ide...
202
click to vote
LANMR
2004
15 years 8 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
202
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
185
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
165
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...