3742 search results - page 423 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Constraint-based mining techniques on sequence databases have been studied extensively the last few years and efficient algorithms enable to compute complete collections of patte...
241
Voted
WEBI
2005
Springer
16 years 6 days ago
2005
Springer
Document clustering is a very hard task in Automatic Text Processing since it requires to extract regular patterns from a document collection without a priori knowledge on the cat...
176
click to vote
WOSS
2004
ACM
16 years 4 days ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
190
click to vote
ISCA
2003
IEEE
16 years 9 hour ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
173
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...