3972 search results - page 442 / 795 » Palpability Support Demonstrated |
138
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
131
Voted
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
We present tools that support the runtime execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the ...
134
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Three-dimensional die stacking integration provides the ability to stack multiple layers of processed silicon with a large number of vertical interconnects. Through Silicon Via...
129
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— The flip-chip package gives the highest chip density of any packaging method to support the pad-limited Application-Specific Integrated Circuit (ASIC) designs. In this paper,...
142
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...