7395 search results - page 1371 / 1479 » Social Modeling and i* |
161
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
177
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a near-optimal reduction from approximately counting the cardinality of a discrete set to approximately sampling elements of the set. An important application of our wo...
182
click to vote
IEEEPACT
2007
IEEE
16 years 21 days ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
141
click to vote
IEEEPACT
2007
IEEE
16 years 21 days ago
2007
IEEE
In recent years, microprocessor manufacturers have shifted their focus from single-core to multi-core processors. To avoid burdening programmers with the responsibility of paralle...
172
click to vote
MICRO
2007
IEEE
16 years 20 days ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...