336 search results - page 67 / 68 » Improved data structures for fully dynamic biconnectivity |
90
Voted
CF
2005
ACM
14 years 11 months ago
2005
ACM
This paper evaluates how much extended dictionary-based code compression techniques can reduce the static code size. In their simplest form, such methods statically identify ident...
DSD
2010
IEEE
14 years 9 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
193
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
INFOCOM
2008
IEEE
15 years 3 months ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...