10038 search results - page 574 / 2008 » Model Checking for Managers |
158
click to vote
CLEF
2001
Springer
15 years 11 months ago
2001
Springer
: This report describes our test on using statistical translation models for bilingual IR
157
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
We propose a cross-language retrieval model that is solely based on Wikipedia as a training corpus. The main contri
267
click to vote
ICSEA
2009
IEEE
15 years 5 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
203
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
244
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...