6413 search results - page 810 / 1283 » Classes of cycle bases |
217
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
204
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
We propose a novel approach for estimating a depth-map from a pair of rectified stereo images degraded by blur and contrast change. At each location in image space, information is...
233
click to vote
ADC
2008
Springer
16 years 1 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
187
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
154
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a new basis for the implementation of a shifter functional unit. We present a design based on the inverse butterfly and butterfly datapath circuits that perfo...