504 search results - page 34 / 101 » Complexity Properties of Restricted Abstract Argument System... |
104
click to vote
SIES
2009
IEEE
15 years 4 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
CSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study structural properties of restricted width arithmetical circuits. It is shown that syntactically multilinear arithmetical circuits of constant width can be effici...
RTS
2010
14 years 8 months ago
2010
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
ENTCS
2002
14 years 9 months ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...