2060 search results - page 337 / 412 » Some Applications of Coding Theory in Computational Complexi... |
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Modern integrated circuits require careful attention to the soft-error rate (SER) resulting from bit upsets, which are normally caused by alpha particle or neutron hits. These eve...
IEEEPACT
2005
IEEE
15 years 3 months ago
2005
IEEE
Dynamic optimization has the potential to adapt the program’s behavior at run-time to deliver performance improvements over static optimization. Dynamic optimization systems usu...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
IWPC
2003
IEEE
15 years 3 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...