Sciweavers

695 search results - page 74 / 139
» Symbolic Simulation of Hybrid Systems
Sort
View
EPK
2006
114views Management» more  EPK 2006»
13 years 9 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
HPDC
2010
IEEE
13 years 9 months ago
A hybrid Markov chain model for workload on parallel computers
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
Anne Krampe, Joachim Lepping, Wiebke Sieben
SAC
2008
ACM
13 years 7 months ago
Supporting self-organization for hybrid grid resource scheduling
Increasing scale, dynamism, and complexity of hybrid grids make traditional grid resource scheduling approaches difficult. In such grids, where resource volatility and dynamism is...
Deger Cenk Erdil, Michael J. Lewis
VTC
2010
IEEE
125views Communications» more  VTC 2010»
13 years 6 months ago
Single-Carrier Hybrid ARQ Using Joint Transmit/Receive MMSE-FDE
—In the next generation high-speed wireless packet access systems, hybrid automatic repeat request (HARQ) is necessary to achieve higher throughput performance. An HARQ with Chas...
Kazuki Takeda, Fumiyuki Adachi
ICASSP
2011
IEEE
12 years 11 months ago
Uncover cooperative gene regulations by microRNAs and transcription factors in glioblastoma using a nonnegative hybrid factor mo
—Transcriptional regulation by transcription factors (TFs) and microRNAs controls when and how much RNA is created. Due to technical limitations, the protein level expressions of...
Jia Meng, Hung-I Harry Chen, Jianqiu Zhang, Yidong...