4166 search results - page 112 / 834 » Automating the constraining process |
155
click to vote
DATE
2008
IEEE
16 years 21 days ago
2008
IEEE
This paper provides insight into the novel solutions used to build SoCs targeting increased productivity in a complex environment. Design of such SoCs relies on multi-team, multi-...
186
click to vote
LICS
1991
IEEE
15 years 9 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
144
click to vote
SE
2007
15 years 7 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
148
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
134
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...