Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Oct-2013 | On Optimal Policies for Energy-Aware Servers | Maccio, Vincent J. |
Sep-2010 | SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES | Zhao, Yuhang |
Apr-2007 | HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE | Yi, Rongshu |
23-Sep-2010 | Simplification Infrastructure for an Implementation of the Chiron Logic | Zhang, Yin Han |
Sep-2010 | A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD | Zhou, Hang |
26-Aug-2009 | CHIRON: MECHANIZING MATHEMATICS IN OCAML | Ni, Hong |
15-Apr-2011 | A Regression Test Selection Technique Applied to Legacy Systems | Abdrakhmanov, Akbar |
Jun-2010 | Verification of programs with Z3 | Romanowicz, Ewa |
26-Apr-2010 | State Diagrams: A New Visual Language For Programmable Logic Controllers | Huang, FanFan |
Sep-2009 | Verification and Refinement Theory of Action Inheritance for Concurrent Objects | Pujari, Upasana |
Discover
Author
Subject
Date issued