692 search results - page 76 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
TON
2010
14 years 10 months ago
2010
Abstract—Comparing graphs to determine the level of underlying structural similarity between them is a widely encountered problem in computer science. It is particularly relevant...
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
104
click to vote
PRIB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...
189
click to vote
ICIAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
101
click to vote
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...