3742 search results - page 465 / 749 » On the Use of Formal Techniques for Validation |
175
click to vote
IEEEPACT
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a technique for reducing the power dissipation in the course of writebacks and committments in a datapath that uses a dedicated architectural register file (ARF) to hol...
181
click to vote
ECIR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Previous researches on advanced representations for document retrieval have shown that statistical state-of-the-art models are not improved by a variety of different ling...
177
click to vote
IADIS
2004
15 years 8 months ago
2004
Since XML becomes a crucial format for representing information, it is necessary to establish techniques for managing XML documents. A possible solution can be found in storing XM...
177
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
MAGE (Multi-Agent Game Environment) is a logic-based framework that uses games as a metaphor for representing complex agent activities within an artificial society. More specifical...
195
click to vote
FGCS
2007
15 years 6 months ago
2007
: Metaschedulers in the Grid needs dynamic information to support their scheduling decisions. Job response time on computing resources, for instance, is such a performance metric. ...