Sciweavers

21984 search results - page 145 / 4397
» C
Sort
View
POPL
2008
ACM
16 years 4 months ago
Demand-driven alias analysis for C
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
Xin Zheng, Radu Rugina
ICSE
2005
IEEE-ACM
16 years 4 months ago
Improving software security with a C pointer analysis
Dzintars Avots, Michael Dalton, V. Benjamin Livshi...
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
ICCD
2007
IEEE
215views Hardware» more  ICCD 2007»
16 years 1 months ago
A 4.6Tbits/s 3.6GHz single-cycle NoC router with a novel switch allocator in 65nm CMOS
As chip multiprocessors (CMPs) become the only viable way to scale up and utilize the abundant transistors made available in current microprocessors, the design of on-chip network...
Amit Kumar 0002, Partha Kundu, Arvind P. Singh, Li...
ICCAD
2007
IEEE
101views Hardware» more  ICCAD 2007»
16 years 1 months ago
A novel SoC design methodology combining adaptive software and reconfigurable hardware
Marco D. Santambrogio, Seda Ogrenci Memik, Vincenz...