254 search results - page 4 / 51 » Deriving test plans from architectural descriptions |
170
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
155
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
153
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
180
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
153
click to vote
ASAP
2004
IEEE
15 years 9 months ago
2004
IEEE
The Compaan compiler automatically derives a Process Network (PN) description from an application written in Matlab. The basic element of a PN is a Producer/Consumer (P/C) pair. F...