709 search results - page 19 / 142 » An Equational Theory for Transactions |
KR
1998
Springer
15 years 4 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
101
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
89
Voted
ICCD
1999
IEEE
15 years 5 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
86
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Several researchers have used Price’s equation (from biology theory literature) to analyze the various components of an Evolutionary Algorithm (EA) while it is running, giving i...
97
Voted
MOC
2010
14 years 7 months ago
2010
In this paper, a Jacobi-collocation spectral method is developed for Volterra integral equations of the second kind with a weakly singular kernel. We use some function transformati...