1760 search results - page 163 / 352 » Program Analysis Using Weighted Pushdown Systems |
93
Voted
BMCBI
2005
15 years 20 days ago
2005
Background: Recognition of microbial pathogens by plants triggers the hypersensitive reaction, a common form of programmed cell death in plants. These dying cells generate signals...
113
click to vote
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
109
click to vote
SDM
2004
SIAM
15 years 2 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
139
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
129
click to vote
VLSID
2008
IEEE
15 years 7 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...