1585 search results - page 196 / 317 » A framework for computer-aided validation |
163
click to vote
TSE
2002
15 years 5 months ago
2002
The complexity of hardware/software codesign of embedded real-time signal processing systems can be reduced by rapid system prototyping (RSP). However, existing RSP frameworks do n...
172
click to vote
MIAR
2010
IEEE
15 years 4 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
297
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
DescribeX is a visual, interactive tool for exploring the underlying structure of an XML collection. DescribeX implements a framework for creating XML summaries described using axi...
169
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
155
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...