3742 search results - page 495 / 749 » On the Use of Formal Techniques for Validation |
188
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
In a Web database that dynamically provides information in response to user queries, two distinct schemas, interface schema (the schema users can query) and result schema (the sch...
185
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
157
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
—The ever-increasing computational power of contemporary microprocessors reduces the execution time spent on arithmetic computations (i.e., the computations not involving slow me...
157
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Increasing dynamic variability with technology scaling has made it essential to incorporate large design-time timing margins to ensure yield and reliable operation. Online techniq...
203
click to vote
AIPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...