2314 search results - page 132 / 463 » Monoids over domains |
131
Voted
WECWIS
2008
IEEE
15 years 8 months ago
2008
IEEE
Integrating service description, discovery, and invocation functionalities presents several fundamental problems in the management of web services and is a basic problem for compo...
106
click to vote
ISQED
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper proposes a novel method for analyzing large onchip power delivery networks via a stochastic moment matching (SMM) method. The proposed method extends the existing direc...
102
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
111
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Operating Systems provide services that are accessed by processes via mechanisms that involve a ring transition to transfer control to the kernel where the required function is pe...
116
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...