MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Computer Performance Engineering" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • C.: Predicate abstraction of programs with non-linear computation  
  • by Songtao Xia, Ben Di, Vito Cesar Munoz — 2006 — Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Volume 4218 of Lecture Notes in Computer Science
  • … on reasoning about the computations they perform. In engineering programs, many of these computations are non…
  • Cited by 1 (0 self) – Add To MetaCart
  • The Stream Virtual Machine  
  • by Francois Labonte, Christos Kozyrakis — 2004 — In Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
  • …, we have experienced tremendous growth in computer performance, while keeping the sequential execution…
  • Cited by 9 (0 self) – Add To MetaCart
  • Engines from Continuations  
  • by R. Kent Dybvig, Robert Hieb — 1989 — Computer Languages
  • … an engine from a procedure of no arguments. This procedure specifies the computation to be performed…
  • Cited by 21 (4 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB