1855 search results - page 138 / 371 » Composing model programs for analysis |
123
click to vote
ENTCS
2008
15 years 3 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
137
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
134
Voted
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
Recent work has shown that multithreaded workloads running in execution-driven, full-system simulation environments cannot use instructions per cycle (IPC) as a valid performance ...
144
Voted
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
168
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...