1813 search results - page 230 / 363 » Instance Pruning Techniques |
211
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
170
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
Several multithreading techniques have been proposed to reduce the resource underutilization in Very Long Instruction Word (VLIW) processors. Simultaneous MultiThreading (SMT) is ...
221
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
162
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. One way to protect a digital product is to embed an author's signature into the object in the form of minute errors. However, this technique cannot be directly appli...
180
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents our first participation in the OAEI 2007 campaign. It describes an approach to align taxonomies which relies on terminological and structural techniques applie...