11561 search results - page 2092 / 2313 » A Language for Biochemical Systems |
199
click to vote
SI3D
2006
ACM
16 years 17 days ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
160
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...
180
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
157
click to vote
ACSD
2005
IEEE
16 years 7 days ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
159
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...