3495 search results - page 457 / 699 » On the random satisfiable process |
148
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
238
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
182
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
To address the real-time processing needs of large and growing amounts of data, modern software increasingly uses main memory as the primary data store for critical information. T...
151
click to vote
ACL
2012
13 years 9 months ago
2012
Information extraction (IE) is becoming a critical building block in many enterprise applications. In order to satisfy the increasing text analytics demands of enterprise applicat...
192
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: A critical step in processing oligonucleotide microarray data is combining the information in multiple probes to produce a single number that best captures the express...