925 search results - page 82 / 185 » The Function of Documents |
JLP
2007
13 years 7 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Wireless sensor networks are designed for a very wide, yet specific, purpose. Their components have processing and power limitations. Due to these limitations, decisions by runni...
SIGMOD
2005
ACM
14 years 1 months ago
2005
ACM
As XML has evolved from a document markup language to a widely-used format for exchange of structured and semistructured data, managing large amounts of XML data has become increa...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We are presenting a text analysis tool set that allows analysts in various fields to sieve through large collections of multilingual news items quickly and to find information that...