3171 search results - page 333 / 635 » Application of Reduce Order Modeling to Time Parallelization |
144
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
150
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
134
click to vote
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
166
Voted
SCANGIS
2003
15 years 6 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
146
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...