7262 search results - page 252 / 1453 » Reversible Computer Hardware |
124
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
149
click to vote
GCA
2009
15 years 27 days ago
2009
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...
138
click to vote
TVCG
2012
13 years 5 months ago
2012
—The Morse-Smale complex is a useful topological data structure for the analysis and visualization of scalar data. This paper describes an algorithm that processes all mesh eleme...
106
click to vote
ICCAD
2007
IEEE
16 years 19 hour ago
2007
IEEE
— We present a new linear time technique to compute criticality information in a timing graph by dividing it into “zones”. Errors in using tightness probabilities for critica...
123
click to vote
ICCAD
2003
IEEE
16 years 12 hour ago
2003
IEEE
This paper presents a generalized semi-analytic method for computing oscillator phase noise spectra, including the details very close to the oscillation frequency. The starting po...