8810 search results - page 1687 / 1762 » Openness |
115
Voted
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
144
click to vote
ENTCS
2007
15 years 3 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
133
Voted
JSA
2006
15 years 3 months ago
2006
It is often possible to greatly improve the performance of a hardware system via the use of predictive (speculative) techniques. For example, the performance of out-of-order micro...
132
Voted
JUCS
2006
15 years 3 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
145
Voted
NAR
2008
15 years 3 months ago
2008
TarO (http://www.compbio.dundee.ac.uk/taro) offers a single point of reference for key bioinformatics analyses relevant to selecting proteins or domains for study by structural bi...