29147 search results - page 5447 / 5830 » System Modeling Resurrected |
199
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
193
click to vote
ARVLSI
1999
IEEE
15 years 11 months ago
1999
IEEE
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...
190
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
168
click to vote
HT
1999
ACM
15 years 11 months ago
1999
ACM
Making hypermedia adaptable for multiple forms of presentation involves enabling multiple distinct specifications for how a given collection of hypermedia can have its presentatio...
179
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we consider the problem of maximizing the battery life (or duration of service) in battery-powered CMOS circuits. We first show that the battery efficiency (or utili...