1195 search results - page 174 / 239 » Modeling an Algebraic Stepper |
246
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
146
click to vote
ISPD
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we propose fast and efficient techniques to analyze the power grid with accurate modeling of the transistor network. The solution techniques currently available for...
160
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
ng certain electrical noise and power constraints.Abstract: We present a new delay model for use in logic synthesis. A traditional model treats the area of a library cell as consta...
168
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
153
click to vote
AIEDU
2007
15 years 6 months ago
2007
Research efforts focused on developing "active reports" are currently underway. Active reports are designed to foster communication among teachers, students, and parents ...