19003 search results - page 299 / 3801 » We Need Assurance |
151
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
The organization and management of microprocessor storage structures (e.g., L1 caches, TLBs, etc.) is critical to the performance and energy consumption of the microprocessor. We ...
142
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Case study is an important research methodology for software engineering. We have identified the need for checklists supporting researchers and reviewers in conducting and reviewi...
153
click to vote
USM
2000
15 years 10 months ago
2000
The deployment for new Internet services is limited by existing service creation platforms which can be, characterized as being closed, vertical and best effort in nature. We belie...
179
Voted
GD
2009
Springer
15 years 10 months ago
2009
Springer
We show that recognizing intersection graphs of convex sets has the same complexity as deciding truth in the existential theory of the reals. Comparing this to similar results on t...
166
click to vote
AIPS
2007
15 years 9 months ago
2007
Many of the benchmark domains in AI planning are tractable on an individual basis. In this paper, we seek a theoretical, domain-independent explanation for their tractability. We ...