Search results for "HAL/S"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Terrence W. Pratt, George D. Maydwell	Experience with the Normal Semantic Definition of HAL/S.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	HAL/S
64	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen	Trailing Analysis for HAL.	ICLP	2002	DBLP DOI BibTeX RDF
44	Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne	HAL/S/V: a verifiable subset for HAL/S.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
32	Jeff Larson	The HAL Interconnect PCI Card.	CANPC	1998	DBLP DOI BibTeX RDF
22	Phil Vendy, Michael Nofz	HAL's long, long run: computers and social performance in Stanley Kubrick's 2001.	SIGCAS Comput. Soc.	1999	DBLP DOI BibTeX RDF
22	David Chih-Wei Chang, David Lyon, Charles Chen, Leon Peng, Mehran Massoumi, Matthew Hakimi, Satish Iyengar, Ellen Li, Roque Remedios	Microarchitecture of HaL's Memory Management Unit.	COMPCON	1995	DBLP DOI BibTeX RDF
22	Niteen Patkar, Akira Katsuno, Simon Li, Tak Maruyama, Sunil Savkar, Mike Simone, Gene Shen, Ravi Swami, DeForest Tovey	Microarchitecture of HaL's CPU.	COMPCON	1995	DBLP DOI BibTeX RDF
22	Chien Chen, Yizhi Lu, Anthong Wong	Microarchitecture of HaL's Cache Subsystem.	COMPCON	1995	DBLP DOI BibTeX RDF
22	John C. Munson, Taghi M. Khoshgoftaar	Software measurement for the space shuttle HAL/S maintenance environment.	ICSM	1992	DBLP DOI BibTeX RDF
22	Allan R. Klumpp	Linear algebra and other Ada packages adapted from HAL/S, FORTRAN, PL/I and MAC.	SIGAda	1987	DBLP DOI BibTeX RDF
22	Alan R. Klumpp	Space Station Flight Software: Hal/S or Ada?	Computer	1985	DBLP DOI BibTeX RDF
19	Christopher Galbraith, Padhraic Smyth, Hal S. Stern	Statistical Methods for the Forensic Analysis of Geolocated Event Data.	Digit. Investig.	2020	DBLP DOI BibTeX RDF
19	Lee Friedman, Hal S. Stern, Larry R. Price, Oleg V. Komogortsev	Why Temporal Persistence of Biometric Features, as Assessed by the Intraclass Correlation Coefficient, Is So Valuable for Classification Performance.	Sensors	2020	DBLP DOI BibTeX RDF
19	Lee Friedman, Hal S. Stern, Vladyslav Prokopenko, Oleg V. Komogortsev	Relationship between Number of Subjects and Biometric Authentication Equal Error Rates.	CoRR	2019	DBLP BibTeX RDF
19	Lee Friedman, Hal S. Stern, Oleg V. Komogortsev	The Linear Relationship between Temporal Persistence, Number of Independent Features and Target EER.	CoRR	2019	DBLP BibTeX RDF
19	David B. Keator, Jinran Chen, B. Nolan Nichols, Fariba Fana, Hal S. Stern, Tallie Z. Baram, Steven L. Small	A Semantic Cross-Species Derived Data Management Application.	CoRR	2017	DBLP BibTeX RDF
19	Hal S. Greenwald, Carsten K. Oertel	Future Directions in Machine Learning.	Frontiers Robotics AI	2016	DBLP DOI BibTeX RDF
19	David B. Keator, Theo G. M. van Erp, Jessica A. Turner, Gary H. Glover, Bryon A. Mueller, Thomas T. Liu, James T. Voyvodic, Jerod Rasmussen, Vince D. Calhoun, Hyo Jong Lee, Arthur W. Toga, Sarah C. McEwen, Judith M. Ford, Daniel H. Mathalon, Michele T. Diaz, Daniel S. O'Leary, Henry Jeremy Bockholt, Syam Gadde, Adrian Preda, Cynthia G. Wible, Hal S. Stern, Aysenil Belger, Gregory McCarthy, I. Burak Özyurt, Steven G. Potkin, The FBIRN Consortium	The Function Biomedical Informatics Research Network Data Repository.	NeuroImage	2016	DBLP DOI BibTeX RDF
19	Amanda M. Lanza, Kathleen A. Curran, Lindsey G. Rey, Hal S. Alper	A condition-specific codon optimization approach for improved heterologous gene expression in Saccharomyces cerevisiae.	BMC Syst. Biol.	2014	DBLP DOI BibTeX RDF
19	Kevin Heins, Hal S. Stern	A Statistical Model for Event Sequence Data.	AISTATS	2014	DBLP BibTeX RDF
19	Greg G. Brown, Daniel H. Mathalon, Hal S. Stern, Judith M. Ford, Bryon A. Mueller, Douglas N. Greve, Gregory McCarthy, James Voyvodic, Gary Glover, Michele T. Diaz, Elizabeth Yetter, I. Burak Özyurt, Kasper W. Jorgensen, Cynthia G. Wible, Jessica A. Turner, Wesley K. Thompson, Steven G. Potkin	Multisite reliability of cognitive BOLD data.	NeuroImage	2011	DBLP DOI BibTeX RDF
19	Seyoung Kim, Padhraic Smyth, Hal S. Stern	A Bayesian Mixture Approach to Modeling Spatial Activation Patterns in Multisite fMRI Data.	IEEE Trans. Medical Imaging	2010	DBLP DOI BibTeX RDF
19	Hal S. Richman	Stay-in-Touch Marketing: How to Use Newsletters to Propel an e-Learning Consulting Practice.	eLearn Mag.	2010	DBLP DOI BibTeX RDF
19	Hal S. Greenwald, David C. Knill	Orientation Disparity: A Cue for 3D Orientation?	Neural Comput.	2009	DBLP DOI BibTeX RDF
19	Lee Friedman, Jessica A. Turner, Hal S. Stern, Daniel H. Mathalon, Liv C. Trondsen, Steven G. Potkin	Chronic smoking and the BOLD response to a visual activation task and a breath hold task in patients with schizophrenia and healthy controls.	NeuroImage	2008	DBLP DOI BibTeX RDF
19	Qi Zhong, Iosif Lazaridis, Mayur Deshpande, Chen Li 0001, Sharad Mehrotra, Hal S. Stern	Supporting Approximate Similarity Queries with Quality Guarantees in P2P Systems.	COMAD	2006	DBLP BibTeX RDF
19	Seyoung Kim, Padhraic Smyth, Hal S. Stern	A Nonparametric Bayesian Approach to Detecting Spatial Activation Patterns in fMRI Data.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
19	Bill James, Jim Albert, Hal S. Stern	15. Answering Questions about Baseball Using Statistics.	Anthology of Statistics in Sports	2005	DBLP DOI BibTeX RDF
19	Mark E. Glickman, Hal S. Stern	5. A State-Space Model for National Football League Scores.	Anthology of Statistics in Sports	2005	DBLP DOI BibTeX RDF
19	Hal S. Stern, Wade Wilcox	36. Shooting Darts.	Anthology of Statistics in Sports	2005	DBLP DOI BibTeX RDF
19	Hal S. Stern	34. A Brownian Motion Model for the Progress of Sports Scores.	Anthology of Statistics in Sports	2005	DBLP DOI BibTeX RDF
19	Seyoung Kim, Padhraic Smyth, Hal S. Stern, Jessica A. Turner	Parametric Response Surface Models for Analysis of Multi-site fMRI Data.	MICCAI	2005	DBLP DOI BibTeX RDF
19	Hal S. Stern, Mike Eisler, Ricardo Labiaga	Managing NFS and NIS - help for Unix system administrators: covers NFS version 3 (2. ed.).		2001	RDF
19	Noel Cressie, Hal S. Stern, Deanne Reber Wright	Mapping rates associated with polygons.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
19	Hal S. Render	Gregor: A Model Object Base Supporting Software Configuration Management		1997	RDF
19	Hal S. Render, Roy H. Campbell	An Object-Oriented Model of Software Configuration Management.	SCM	1991	DBLP DOI BibTeX RDF	Smalltalk-80
19	Roy H. Campbell, Hal S. Render, Robert N. Sum Jr., Robert B. Terwilliger	Automating the software development process.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
19	Hal S. Render, Roy H. Campbell	CLEMMA: the design of a practical configuration librarian.	ICSM	1988	DBLP DOI BibTeX RDF
16	Wolf-Dietrich Weber, Stephen Gold, Pat Helland, Takeshi Shimizu, Thomas Wicki, Winfried W. Wilcke	The Mercury Interconnect Architecture: A Cost-effective Infrastructure for High-performance Servers.	ISCA	1997	DBLP DOI BibTeX RDF
16	Michael K. Donegan, Robert E. Noonan, Stefan Feyock	A code generator generator language.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF