3228 search results - page 414 / 646 » Computationally Sound Proofs |
163
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Mobile platforms such as smart-phones and tablet computers have attained the technological capacity to perform tasks beyond their intended purposes. The steady increase of process...
131
Voted
PODS
2008
ACM
16 years 3 months ago
2008
ACM
A schema mapping is a specification that describes how data from a source schema is to be mapped to a target schema. Once the data has been transferred from the source to the targ...
118
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
141
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
133
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...