Search results for "Honeywell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Fred Rose, Todd Carpenter, Sanjaya Kumar, John Shackleton, Todd Steeves Honeywell	A Model for the Coanalysis of Hardware and Software Architectures.	CODES	1996	DBLP DOI BibTeX RDF	RASSP, performance modeling, VHDL, hardware/software codesign
48	John A. Pierro, George F. Donnellan	Mechanical design/analysis integration on Apollo workstations.	DAC	1985	DBLP DOI BibTeX RDF
48	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal	Applications of Model Checking at Honeywell Laboratories.	SPIN	2001	DBLP DOI BibTeX RDF
47	Michael N. Geselowitz	Local Area Networking.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	Control Data Corporation, Cray Research, Honeywell, The Bakken, Charles Babbage Institute
47	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
43	Steve Honeywell, Seth Quackenbush, Laura Reina, Christian Reuschle	NLOX, a one-loop provider for Standard Model processes.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
43	Andrea Forte, Judd Antin, Shaowen Bardzell, Leigh Honeywell, John Riedl, Sarah Stierch	Some of all human knowledge: gender and participation in peer production.	CSCW (Companion)	2012	DBLP DOI BibTeX RDF
43	Olivier Roubine, Cii-Honeywell Bull, Joachim Teller, Olivier Maurel	Lolita: a low level intermediate language for Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
32	Mike Bazakos, Yunqian Ma, Andrew H. Johnson	Fast access control technology solutions (FACTS).	AVSS	2005	DBLP DOI BibTeX RDF
32	David E. Bakkom, James A. Behymer	Implementation of a Prototype Generalized File Translator.	SIGMOD Conference	1975	DBLP DOI BibTeX RDF
32	J. P. Kohli	Designing an application oriented terminal.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
31	Gary Roosevelt, Weston Roper, Thomas Romanko	Optimizing high speed serial communication using Honeywell Rad Hard SerDes.	AHS	2011	DBLP DOI BibTeX RDF
31	David J. Paper, James A. Rodger, Parag C. Pendharkar	A BPR case study at Honeywell.	Bus. Process. Manag. J.	2001	DBLP DOI BibTeX RDF
31	Chaya Garg, Thomas A. Plocher	The cross-cultural user interface initiative at Honeywell.	IWIPS	1999	DBLP BibTeX RDF
31	Jane E. King, William A. Shelly	A Family History of Honeywell's Large-Scale Computer Systems.	IEEE Ann. Hist. Comput.	1997	DBLP DOI BibTeX RDF
31	Jiandong Huang, Allalaghatta Pavan	The Mercuri Multimedia Laboratory at Honeywell.	IEEE Multim.	1996	DBLP DOI BibTeX RDF
31	David J. Musliner, Christopher A. Miller 0001	Agent and Task Modeling at Honeywell.	Agent Modeling	1996	DBLP BibTeX RDF
31	W. Haag	Aufbau eines Management Support Systems (MSS) für die optimale Erfüllung aller Beratungsaufgaben am Beispiel der Systemberatung West der Honeywell Bull AG.	GI Jahrestagung (2)	1986	DBLP DOI BibTeX RDF
31	Virgil D. Gligor	Analysis of the Hardware Verification of the Honeywell SCOMP.	S&P	1985	DBLP DOI BibTeX RDF
31	Said K. Rahimi, Mark D. Spinrad, James A. Larson	A Structural View of Honeywell's Distributed Database Testbed System: DDTS.	IEEE Database Eng. Bull.	1982	DBLP BibTeX RDF
31	E. Douglas Jensen	The Honeywell Experimental Distributed Processor - an Overview.	Computer	1978	DBLP DOI BibTeX RDF
31	E. Douglas Jensen, Richard Y. Kain	The Honeywell Modular Microprogram Machine: M3.	ISCA	1977	DBLP DOI BibTeX RDF
31	Orin E. Marvel	HAPPE Honeywell Associative Parallel Processing Ensemble.	ISCA	1973	DBLP DOI BibTeX RDF
31	Norm Glick, Richard Schrader	APL on the Honeywell 635.	ACM SIGAPL APL Quote Quad	1971	DBLP DOI BibTeX RDF
31	Theodore F. Hatch Jr., James B. Geyer	Hardware/software interaction on the Honeywell model 8200.	AFIPS Fall Joint Computing Conference (1)	1968	DBLP DOI BibTeX RDF
31	Norman Nisenoff	Scratchpad memories at Honeywell: past, present, and future.	AFIPS Fall Joint Computing Conference (1)	1965	DBLP DOI BibTeX RDF
31	Pierre-E. Mounier-Kuhn	Jean Carteron.	IEEE Ann. Hist. Comput.	2010	DBLP DOI BibTeX RDF	AFCET, Banque Nationale de Paris, Bull, Carteron, capital risk, computer service industry, Electricité de France, facilities management, Honeywell-Bull Services, Leasco, Minitel, Ross Perot, STERIA, software industry, SEMA, IFIP
16	Santosh Mathan	Feature - Image search at the speed of thought.	Interactions	2008	DBLP DOI BibTeX RDF
16	Nader Barsoum, Wong Yew Yiin, Tan Kwong Ling, W. C. Goh	Modeling and Cost Simulation of Stand-Alone Solar and Biomass Energy.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
16	Rashad Sharaf, Mahmoud Reda Taha, Mohammed Tarbouchi, Aboelmagd Noureldin	Merits and limitations of using fuzzy inference system for temporal integration of INS/GPS in vehicular navigation.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Data fusion, Fuzzy systems, Positioning systems, Inertial navigation
16	Manlio Gaudioso, Walaa Khalaf, Calogero Pace	On the Use of the SVM Approach in Analyzing an Electronic Nose.	HIS	2007	DBLP DOI BibTeX RDF
16	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
16	B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy	Tool for Translating Simulink Models into Input Language of a Model Checker.	ICFEM	2006	DBLP DOI BibTeX RDF
16	Chao Hu, Max Q.-H. Meng, Mrinal Mandal 0001	The Calibration of 3-Axis Magnetic Sensor Array System for Tracking Wireless Capsule Endoscope.	IROS	2006	DBLP DOI BibTeX RDF
16	Yunqian Ma, Mike Bazakos, Ben Miller, Pradeep Buddharaju	Activity Awareness: from Predefined Events to New Pattern Discovery.	ICVS	2006	DBLP DOI BibTeX RDF
16	Ian A. Troxel, Alan D. George	Adaptable and Autonomic Mission Manager for Dependable Aerospace Computing.	DASC	2006	DBLP DOI BibTeX RDF
16	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
16	Dinkar Mylaraswamy	Anomaly Detection in a Multi-engine Aircraft.	PReMI	2005	DBLP DOI BibTeX RDF
16	Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole	Hybrid Decentralized Control of Large Scale Systems.	HSCC	2005	DBLP DOI BibTeX RDF
16	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
16	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
16	Sathyanarayanan Subbiah, Srikanth Nagaraj	Issues with Object Orientation in Verifying Safety-Critical Systems.	ISORC	2003	DBLP DOI BibTeX RDF
16	Bruce F. Cockburn	The Emergence of High-Density Semiconductor-Compatible Spintronic Memory.	ICMENS	2003	DBLP DOI BibTeX RDF
16	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
16	Peter Bergstrom, Kevin Driscoll 0001, John Kimball	Making Home Automation Communications Secure.	Computer	2001	DBLP DOI BibTeX RDF
16	James L. Paunicka, David Corman, Brian R. Mendel	A CORBA-Based Middleware Solution for UAVs.	ISORC	2001	DBLP DOI BibTeX RDF
16	Gerald C. Gannod, Sunil Gupta	An Automated Tool for Analyzing Petri Nets Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF
16	Mihaela Cardei, Ionut Cardei, Rakesh Jha, Allalaghatta Pavan	Hierarchical Feedback Adaptation for Real Time Sensor-Based Distributed Applications.	ISORC	2000	DBLP DOI BibTeX RDF	hierarchical feedback adaptation, QoS negotiation and adaptation, real-time applications, distributed resource management
16	Scott Johnson 0002, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger	Experiences with Group Communication Middleware.	DSN	2000	DBLP DOI BibTeX RDF	distributed systems, middleware, group communication, fault-tolerant communication
16	Yue Liu	VCSEL Based Smart Pixel Array Technology Enables Chip-to-Chip Optical Interconnect.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
16	Minesh I. Patel, Karl Jordan, Mattew Clark, Devesh Bhatt	Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
16	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs.	ASE	2000	DBLP DOI BibTeX RDF
16	John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verification of time partitioning in the DEOS scheduler kernel.	ICSE	2000	DBLP DOI BibTeX RDF
16	Bruce A. Lewis, Edward Colbert, Steve Vestal	Developing Evolvable, Embedded, Time-Critical Systems with MetaH.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
16	Ionut Cardei, Rakesh Jha, Mihaela Cardei, Allalaghatta Pavan	Hiararchical Architecture for Real-Time Adaptive Resource Management.	Middleware	2000	DBLP DOI BibTeX RDF
16	Geoffrey Dick, Ian Duncanson	Telecommuting: Does it Work in the Long Term?	HICSS	1999	DBLP DOI BibTeX RDF
16	Devesh Bhatt, Vicraj T. Thomas, John Shackleton	A methodology and toolset for the design of parallel embedded systems.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
16	Bruce A. Lewis, David J. McConnell	Reengineering Real-Time Embedded Software onto a Parallel Processing Platform.	WCRE	1996	DBLP DOI BibTeX RDF
16	Devesh Bhatt, Rakesh Jha, Todd Steeves, Rashmi Bhatt, David Wills	SPI: an instrumentation development environment for parallel/distributed systems.	IPPS	1995	DBLP DOI BibTeX RDF	peripheral interfaces, instrumentation development environment, concurrent instrumentation functions, distributed systems, parallel processing, software tools, programming environments, SPI, parallel systems, computer aided software engineering, Intel Paragon, heterogeneous platform, graphic display, SUN workstations, development systems
16	Allalaghatta Pavan, Jonathan C. L. Liu, Aloke Guha, Jack Pugaczewski, Mowaffak Midani	Experimental evaluation of real-time support on the Mercuri wide area ATM testbed.	LCN	1995	DBLP DOI BibTeX RDF	real-time support, Mercuri wide area ATM testbed, ATM testbed, application level throughput, round-trip delay, real-time provisions, deadline guarantees, remote video transfer, high speed communications, real-time multimedia, performance evaluation, performance evaluation, asynchronous transfer mode, delay, multimedia systems, wide area networks, jitter, jitter, priority, performance degradation, bottleneck
16	Christopher A. Miller 0001, Raymond Larson	An Explanatory and "Argumentative" Interface for a Model-based Diagnostic System.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF
16	Richard E. Brown	The Kiewit network: a large Apple Talk internetwork.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
16	W. Edward Hammond	Patient management systems: the early years.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
16	Howard B. Schutzman	ICHABOD: a data base manager for design automation applications.	DAC	1985	DBLP DOI BibTeX RDF
16	James A. Larson, Jennifer B. Wallick	An interface for novice and infrequent database management system users.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
16	Emmanuel O. Onuegbe, Said Rahimi, Alan R. Hevner	Local query translation and optimization in a distributed system.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
16	Paul Decitre	A concurrency control algorithm in a distributed environment.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
16	F. M. Speed, G. Rex Bryce, James W. Frane, Thomas A. Ryan Jr., James Goodnight	Statistics and computer science: Recent development in BMDP computing algorithms.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	BMDPC
16	Lawrence F. Lunetta Jr.	The role of a formal training program in attracting and developing computer professionals.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
16	Jerome Lobel	The cost of computer privacy.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
16	James D. Feldman, Louis C. Fulmer	RADCAP: an operational parallel processing facility.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
16	William W. Patterson	Some thoughts on associative processing languages.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
16	William Phillips Jr., Anita K. Bahn, Mabel Miyasaki	Person-matching by electronic methods.	Commun. ACM	1962	DBLP DOI BibTeX RDF
16	Charles J. Swift	Compiling connectives.	Commun. ACM	1960	DBLP DOI BibTeX RDF