1077 search results - page 137 / 216 » Approximate reduction of dynamic systems |
112
Voted
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
109
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
122
Voted
MASCOTS
2001
15 years 2 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
91
Voted
ICTAC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
TITB
2008
15 years 20 days ago
2008
In recent years, there has been a rapid increase in the size and number of medical image collections. Thus, the development of appropriate methods for medical information retrieval...