7167 search results - page 138 / 1434 » A Technique for Invariant Generation |
183
click to vote
W2GIS
2007
Springer
16 years 14 days ago
2007
Springer
Location-based services (LBS) constitute an emerging application domain rapidly introduced in modern life habits. However, given that LBS already count a few years of commercial li...
173
click to vote
ISSRE
2006
IEEE
16 years 11 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
160
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
140
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
185
click to vote
TVLSI
1998
15 years 6 months ago
1998
— This paper proposes a methodology, implemented in a tool, to automatically generate the main classes of error control codes (ECC’s) widely applied in computer memory systems ...