3256 search results - page 379 / 652 » Applications of Formal Methods to System Design and Verifica... |
150
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
193
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
190
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--In contrast to the macroblock-based in-loop deblocking filters, the filters of VC-1 perform all horizontal edges (for in-loop filtering) or vertical edges (for overlap sm...
157
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...