4693 search results - page 540 / 939 » Verifying Hybrid Systems |
210
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
Multithreaded parallel system with software Distributed Shared Memory (DSM) is an attractive direction in cluster computing. In these systems, distributing workloads and keeping t...
188
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Feature selection techniques are critical to the analysis of high dimensional datasets. This is especially true in gene selection from microarray data which are common...
181
click to vote
NLE
2008
15 years 7 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
217
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...
217
click to vote
RTAS
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...