709 search results - page 19 / 142 » An Equational Theory for Transactions |
145
click to vote
KR
1998
Springer
15 years 10 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...
157
click to vote
TLDI
2009
ACM
16 years 3 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 ...
142
click to vote
ICCD
1999
IEEE
15 years 10 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...
142
click to vote
GECCO
2005
Springer
15 years 11 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...
144
click to vote
MOC
2010
15 years 28 days 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...