1784 search results - page 257 / 357 » Formal Models for Embedded System Design |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
DIMVA
2009
14 years 11 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
103
click to vote
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...