Sciweavers

531 search results - page 7 / 107
» The Spec
Sort
View
ISSS
2002
IEEE
109views Hardware» more  ISSS 2002»
15 years 2 months ago
The Formal Execution Semantics of SpecC
Rainer Dömer, Andreas Gerstlauer, Wolfgang M&...
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
15 years 2 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
LCPC
1999
Springer
15 years 2 months ago
An Empirical Study of Function Pointers Using SPEC Benchmarks
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
Ben-Chung Cheng, Wen-mei W. Hwu
COMPUTER
2004
72views more  COMPUTER 2004»
14 years 9 months ago
Going Beyond Worst-Case Specs with TEAtime
Augustus K. Uht