3771 search results - page 425 / 755 » Subobject Transformation Systems |
142
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
129
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
129
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
145
click to vote
FCCM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present a parameterized stereo vision core suitable for a wide range of FPGA targets and stereo vision applications. By enabling easy tuning of algorithm parameters, our syst...
145
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose a novel general framework for tensor based null space affine invariants, namely, tensor null space invariants (TNSI) with a linear classifier for high ...