171 search results - page 23 / 35 » Efficient algorithms for interface timing verification |
132
click to vote
C3S2E
2010
ACM
15 years 3 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
110
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Ultraconserved elements are nucleotide or protein sequences with 100% identity (no mismatches, insertions, or deletions) in the same organism or between two or more or...
125
click to vote
CCE
2005
15 years 1 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...
INTERFACES
2008
15 years 1 months ago
2008
: The ballroom dancing showcases at Fred Astaire East Side Dance Studio in Manhattan are held at least twice a year and provide the students with an environment for socializing, pr...
108
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
As Web services proliferate, size and magnitude of UDDI Business Registries (UBRs) are likely to increase. The ability to discover Web services of interest then across multiple UB...