1188 search results - page 207 / 238 » Testing Semantics: Connecting Processes and Process Logics |
122
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...
112
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
207
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
80
Voted
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
110
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...