|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 63 occurrences of 61 keywords
|
|
|
Results
Found 78 publication records. Showing 74 according to the selection in the facets
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 |
|
Displaying result #1 - #74 of 74 (100 per page; Change: )
|
|