Sciweavers

7262 search results - page 270 / 1453
» Reversible Computer Hardware
Sort
View
SIGSOFT
2003
ACM
16 years 4 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke
SCAM
2009
IEEE
15 years 10 months ago
thr2csp: Toward Transforming Threads into Communicating Sequential Processes
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
Robert Charles Lange, Spiros Mancoridis
COCOON
2009
Springer
15 years 9 months ago
Hierarchies and Characterizations of Stateless Multicounter Machines
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
Oscar H. Ibarra, Ömer Egecioglu
NICSO
2010
Springer
15 years 9 months ago
Evaluation of a Catalytic Search Algorithm
We investigate the search properties of pre-evolutionary random catalytic reaction networks, where reactions might be reversible, and replication is not taken for granted. Since it...
Lidia Yamamoto
195
Voted
HICSS
2008
IEEE
136views Biometrics» more  HICSS 2008»
15 years 9 months ago
Skype Fingerprint
The wealth of data available about a person’s computer activity is immense. Digital forensic sciences have progressed such that tools are readily available to recover deleted da...
Ronald C. Dodge Jr.