6608 search results - page 1278 / 1322 » On the Completeness of Model Checking |
149
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— We show that different flavors of TCP may be viewed as implementations of age-based scheduling disciplines. By parameterizing the scheduling disciplines of interest we are abl...
118
Voted
IV
2006
IEEE
15 years 9 months ago
2006
IEEE
There are many deficiencies in the traditional electronic commerce schema. The main problem for consideration is the text and picture based design that underpins current HTML syst...
146
Voted
MIAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. A main focus of statistical shape analysis is the description of variability of a population of geometric objects. In this paper, we present work in progress towards mode...
136
Voted
MICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
We introduce virtually-pipelined memory, an architectural technique that efficiently supports high-bandwidth, uniform latency memory accesses, and high-confidence throughput eve...
131
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...