Automated repair by example for firewalls von Hallahan, William T., Zhai, Ennan, Piskac, Ruzica

Volltext

Stability of coefficients in the Kronecker product of a hook and a rectangle von Ballantine, Cristina M, Hallahan, William T

Volltext

Checking equivalence in a non-strict language von Kolesar, John C., Piskac, Ruzica, Hallahan, William T.

Volltext

Grammar Filtering For Syntax-Guided Synthesis von Morton, Kairo, Hallahan, William, Shum, Elven, Piskac, Ruzica, Santolucito, Mark

Volltext bestellen

Software text-to-speech von Hallahan, William I, Vitale, Anthony J

Volltext

SYSTEMS AND METHODS FOR ACCURATE MEASUREMENT OF ITEMS IN A DISTRIBUTION NETWORK von Hallahan, William Douglas, Arcari, Lisa Helene

Volltext bestellen

Data plane program verification von Wang, Han, Hallahan, William, Smolka, Steffen Julif, Schlesinger, Cole Nathan, Foster, John Nathan, Soule, Robert, Lee, Jeongkeun, Liu, Mon Jed

Volltext bestellen

Grammar Filtering For Syntax-Guided Synthesis von Morton, Kairo, Hallahan, William, Shum, Elven, Piskac, Ruzica, Santolucito, Mark

Volltext

DATA PLANE PROGRAM VERIFICATION von Wang, Han, Hallahan, William, LEE, Jeongkeun, Smolka, Steffen Julif, LIU, Mon Jed, Schlesinger, Cole Nathan, SOULE, Robert, FOSTER, John Nathan

Volltext bestellen

Data plane program verification von Wang, Han, Hallahan, William, Smolka, Steffen Julif, Schlesinger, Cole Nathan, Foster, John Nathan, Soule, Robert, Lee, Jeongkeun, Liu, Mon Jed

Volltext bestellen

Validation of the United States Marine Corps qualified candidate population model von Hallahan, William D

Volltext bestellen

Validation of the United States Marine Corps Qualified Candidate Population Model von Hallahan, William D

Volltext bestellen

Method and apparatus for providing 64-bit YUV to RGB color conversion von ULICHNEY ROBERT A, HALLAHAN WILLIAM I

Volltext bestellen

Method and apparatus for providing 64-bit YUV to RGB color conversion von Ulichney, Robert A, Hallahan, William I

Volltext bestellen

Clinical Experience with Amrinone in Patients with Advanced Congestive Heart Failure von KINNEY, EVLIN L., CARLIN, BRIAN, BALLARD, JAMES O., BURKS, JOHN M., HALLAHAN, WILLIAM F., ZELIS, ROBERT

Volltext

Detection of tricuspid regurgitation and estimation of central venous pressure by two-dimensional contrast echocardiography of the right superior hepatic vein von Reeves, William C., Leaman, Davis M., Buonocore, Edward, Babb, Joseph D., Dash, Harold, Schwiter, E.Joseph, Ciotola, Thomas J., Hallahan, William

Volltext

Misfire: the history of how America's S1 arms have failed our military von Hallahan, William H, Cooper, Carolyn C

Volltext

Discriminant Value of Custom Ocular Response Analyzer Waveform Derivatives in Keratoconus von Hallahan, Katie M., MD, Sinha Roy, Abhijit, PhD, Ambrosio, Renato, MD, Salomao, Marcella, MD, Dupps, William J., MD, PhD

Volltext

Misfire: The History of How America's Small Arms Have Failed Our Military von Cooper, Carolyn C.

Volltext

Ultrasound Hyperthermia Technology for Radiosensitization von Zhu, Lifei, Altman, Michael B., Laszlo, Andrei, Straube, William, Zoberi, Imran, Hallahan, Dennis E., Chen, Hong

Volltext