Sciweavers

3628 search results - page 27 / 726
» Approaching the Physical Limits of Computing
Sort
View
DAC
2005
ACM
14 years 10 months ago
Incremental exploration of the combined physical and behavioral design space
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
Zhenyu (Peter) Gu, Jia Wang, Robert P. Dick, Hai Z...
ACMIDC
2008
13 years 12 months ago
Embodying scientific concepts in the physical space of the classroom
Several simulation environments exist that create a place in which students can explore scientific phenomena. In this paper, we propose design guidelines for creating a classroom ...
Peter Malcolm, Tom Moher, Darshan Bhatt, Brian Uph...
KR
2004
Springer
14 years 3 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
ICCAD
1993
IEEE
134views Hardware» more  ICCAD 1993»
14 years 2 months ago
Beyond the combinatorial limit in depth minimization for LUT-based FPGA designs
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...
Jason Cong, Yuzheng Ding
ICPP
2006
IEEE
14 years 3 months ago
Scalable Time-Parallelization of Molecular Dynamics Simulations in Nano Mechanics
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
Yanan Yu, Ashok Srinivasan, Namas Chandra