754 search results - page 56 / 151 » An Ordered Logic Program Solver |
101
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
89
Voted
DLOG
1996
15 years 1 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
120
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
124
Voted
JOLLI
2008
15 years 18 days ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
114
click to vote
ISPASS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--On NVIDIA's many-core GPUs, there is no synchronization function among parallel thread blocks. When finegranularity of data communication and synchronization is requ...