12981 search results - page 2200 / 2597 » Model Checking (Abstract) |
159
click to vote
CC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
156
click to vote
3DIC
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—In 3DICs heat dissipating devices are stacked directly on top of each other leading to a higher heat density than in a comparable 2D chip. 3D integration also moves the ...
156
Voted
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
152
click to vote
DASFAA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
158
click to vote
DASFAA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...