396 search results - page 19 / 80 » Functional Validation of System Level Static Scheduling |
PLDI
2009
ACM
14 years 8 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...
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
LANC
2009
ACM
14 years 9 days ago
2009
ACM
We study a wireless network under the 802.11 random access protocol, supporting multiple physical layer rates. Based on models for the effective packet rates achieved at the MAC ...
RSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
TVLSI
2008
13 years 7 months ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...