915 search results - page 104 / 183 » Maximally Abstract Retrenchments |
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
14 years 1 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
CDC
2009
IEEE
14 years 25 days ago
2009
IEEE
Abstract— In WiFi networks, mobile nodes compete for accessing a shared channel by means of a random access protocol called Distributed Coordination Function (DCF). Although this...
JMIV
2006
13 years 8 months ago
2006
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological space...
VLSID
2009
IEEE
14 years 8 months ago
2009
IEEE
: The challenges in nano-CMOS circuit design include the following: variability, leakage, power, thermals, reliability, and yield. This talk will focus on interdependent considerat...
CAV
1999
Springer
14 years 12 days ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...