3090 search results - page 358 / 618 » On Testing Answer-Set Programs |
155
Voted
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
162
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
222
click to vote
SPW
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
173
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
152
click to vote
ADAEUROPE
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...