Sciweavers

1922 search results - page 150 / 385
» Systems biology, models, and concurrency
Sort
View
FPT
2005
IEEE
132views Hardware» more  FPT 2005»
15 years 7 months ago
Implementation of Gabor-Type Filters on Field Programmable Gate Arrays
Although biological visual systems have been widely studied at the physiological, psychophysical and functional levels, our understanding of its signal processing mechanisms is st...
Ocean Y. H. Cheung, Philip Heng Wai Leong, Eric K....
HYBRID
1998
Springer
15 years 5 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
CC
2010
Springer
190views System Software» more  CC 2010»
15 years 8 months ago
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng She...
BMCBI
2005
292views more  BMCBI 2005»
15 years 1 months ago
Atlas - a data warehouse for integrative bioinformatics
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
Sohrab P. Shah, Yong Huang, Tao Xu, Macaire M. S. ...
ASM
2010
ASM
15 years 8 months ago
An Imperative Extension to Alloy
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
Joseph P. Near, Daniel Jackson