1331 search results - page 140 / 267 » Description logic reasoning using the PTTP approach |
214
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
190
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
168
click to vote
ETS
2006
IEEE
16 years 15 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
161
click to vote
OOIS
1994
Springer
15 years 10 months ago
1994
Springer
The business of software development is solving problems. Following Polya, we can increase our ability to solve problems by focusing directly on problems themselves, on their part...
179
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...