Sciweavers

3814 search results - page 498 / 763
» YAPI: application modeling for signal processing systems
Sort
View
ICDE
1996
IEEE
171views Database» more  ICDE 1996»
16 years 8 months ago
Advanced Transaction Models in Workflow Contexts
I n recent years, numerous transaction models have been proposed to address the problems posed by advanced database applications, but only a few of these models are being used in ...
Amr El Abbadi, C. Mohan, Divyakant Agrawal, Gustav...
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
BMCBI
2008
122views more  BMCBI 2008»
15 years 6 months ago
High-throughput bioinformatics with the Cyrille2 pipeline system
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
Mark W. E. J. Fiers, Ate van der Burgt, Erwin Date...
IPPS
2008
IEEE
16 years 1 months ago
Design and optimization of a distributed, embedded speech recognition system
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
Chung-Ching Shen, William Plishker, Shuvra S. Bhat...
191
Voted
MAGS
2008
169views more  MAGS 2008»
15 years 6 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi