5550 search results - page 901 / 1110 » Different Approaches to Proof Systems |
233
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
173
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
211
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Efficient and scalable live-streaming overlay construction has become a hot topic recently. In order to improve the performance metrics, such as startup delay, source-to-end de...
156
click to vote
RTSS
2006
IEEE
16 years 21 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
183
click to vote
CLUSTER
2003
IEEE
16 years 2 hour ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...