3911 search results - page 445 / 783 » Using Operational Architecture to Model Embedded Software |
177
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Integer addition is a universal building block, and applications such as quad-precision floating-point or elliptic curve cryptography now demand precisions well beyond 64 bits. Thi...
207
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
200
click to vote
VLSI
2010
Springer
15 years 5 months ago
2010
Springer
—In this paper, we introduce a design methodology to implement low-complexity and high-speed digital Finite Impulse Response (FIR) filters. Since FIR filters suffer from a larg...
152
click to vote
MONTEREY
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
184
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...