2364 search results - page 276 / 473 » An Engine for Computing Well-Founded Models |
168
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
205
click to vote
CCECE
2006
IEEE
16 years 2 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
170
click to vote
CCECE
2006
IEEE
16 years 2 days ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
152
click to vote
DAC
2006
ACM
16 years 2 hour ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
163
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...