4679 search results - page 401 / 936 » Modeling When Connections Are the Problem |
164
click to vote
VLSI
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
231
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
246
click to vote
PATMOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
175
click to vote
ECAL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
176
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...