2008 search results - page 248 / 402 » Computing with Equations |
102
Voted
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
In this work, for the first time, we present a physically based analytical threshold voltage model for omega gate silicon nanowire transistor. This model is developed for long cha...
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
In this paper, we provide an analytical framework to study the inter-cell and intra-cell bit-line coupling when it is superimposed with the ground bounce effect and show how those...
110
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
133
Voted
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
111
Voted
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
This paper describes a reusable pervasive information infrastructure developed as part of the Equator IRC, designed to allow the construction of literacy based eLearning activitie...