4434 search results - page 363 / 887 » On the Composition of Hybrid Systems |
219
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
204
click to vote
IJHPCA
2010
15 years 5 months ago
2010
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
180
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Video-on-demand service in wireless networks is one important step to achieving the goal of providing video services anywhere anytime. Typically, carrier mobile networks are used t...
302
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
155
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...