4799 search results - page 781 / 960 » Model Based Requirements Engineering for Embedded Software |
137
click to vote
SEW
2006
IEEE
16 years 13 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
145
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
189
click to vote
CASES
2006
ACM
16 years 12 days ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
187
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
We describe a method for drawing graph-enhanced Euler diagrams using a three stage method. The first stage is to lay out the underlying Euler diagram using a multicriteria optimizi...
181
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...