7167 search results - page 138 / 1434 » A Technique for Invariant Generation |
196
Voted
W2GIS
2007
Springer
16 years 1 months 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...
202
Voted
ISSRE
2006
IEEE
16 years 1 months 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 ...
179
click to vote
ITC
2003
IEEE
16 years 9 days 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...
159
Voted
SIGIR
2003
ACM
16 years 8 days 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...
197
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 ...