yusuke1997/dblp-id-title huggingface dataset:
Fine-grained modularity and reuse of virtual machine components
A process for aspect-oriented platform-specific profile checking
abc: an extensible AspectJ compiler
Subjective, multidimensional modularity with korz
Towards aspect-oriented state machine language for embedded software
Towards an aspect language for bus protocols
On-demand materialization of aspects for application development
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, DSAL '08, Brussels, Belgium, April 1, 2008
Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study
ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software, Charlottesville, Virginia, USA, 2 March 2009
Multi-step concern refinement
Role-based refactoring of crosscutting concerns
Arranging language features for more robust pattern-based crosscuts
Supporting data aspects in pig latin
Modularity and conventions for maintainable concurrent language implementations: a review of our experiences and practices
Designing loop condition constraint model for join point designation diagrams (JPDDs)
The expression problem, trivially!
Aspects in the industry standard AADL
An aspect-oriented approach to business process modeling
Disambiguating aspect-oriented security policies
Using AspectJ to separate concerns in parallel scientific Java code
EScala: modular event-driven object interactions in scala
Towards generic modularization transformations
Generating parallel applications for distributed memory systems using aspects, components, and patterns
Multi-view refinement of AO-connectors in distributed software systems
Model for fusion of software components
Literal inter-language use case driven modularization
Wallingford: toward a constraint reactive programming language
Experiments with the LARA aspect-oriented approach
Reusing non-functional concerns across languages
Towards modular instrumentation of interpreters in JavaScript
Optimization aspects in network simulation
Aspect-oriented use case modeling for software product lines
Aspect-oriented modelling from a different angle: modelling domains with aspects
AO-ADL: An ADL for Describing Aspect-Oriented Architectures
Proceedings of the 6th workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS 2007, Vancouver, British Columbia, Canada, March 12, 2007
Expressive programs through presentation extension
Flexible, dynamic injection of structured advice using byteman
A calculus of superimpositions for distributed systems
A debug interface for debugging multiple domain specific aspect languages
SPLAT@AOSD 2008: Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, Brussels, Belgium, 31 March - 4 April 2008
Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015
Mining and classification of diverse crosscutting concerns
Context-oriented software engineering: a modularity vision
A graph-based approach to modeling and detecting composition conflicts related to introductions
Crosscutting requirements
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, AOSD 2003, Boston, Massachusetts, USA, March 17-21, 2003
Separation of concerns in epidemiological modelling
Test-based pointcuts: a robust pointcut mechanism based on unit test cases for software evolution
Automatic aspectization of systemC
Avoiding confusion with exception handling in aspect-oriented programming
Method differentiator using slice-based cohesion metrics
Toward practical language oriented modularity
How to program the next generation of business applications: invited talk, extended abstract
Lightweight virtual machine support for AspectJ
Visual separation of concerns through multidimensional program storage
A framework for analyzing and transforming source code supporting multiple programming languages
A generic and reflective debugging architecture to support runtime visibility and traceability of aspects
Verification of Aspect-UML models using alloy
Composing architectural aspects based on style semantics
A fine-grained debugger for aspect-oriented programming
Empowering configurable QoS management in real-time systems
Crosscutting techniques in program specification and analysis
Architecture-sensitive heuristics for prioritizing critical code anomalies
Modular multilevel metamodeling with MetaMod
Assessing the impact of aspects on model composition effort
On the duality of aspect-oriented and feature-oriented design patterns
Presenting crosscutting structure with active models
Development environment for literal inter-language use case driven modularization
AspectMatlab++: annotations, types, and aspects for scientists
Towards supporting on-demand virtual remodularization using program graphs
Metaproperty aspects
Segregating feature interfaces to support software product line maintenance
State charts as an intermediate representation of JPDDs which help developers to map them to executable artifacts
A design perspective on modularity
A per-type instantiation mechanism for generic aspects
PHANtom: an aspect language for pharo smalltalk
Join point selectors
Adaptable generic programming with required type specifications and package templates
A Taxonomy of Asymmetric Requirements Aspects
Deriving minimal models for resource utilization
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, AOM@AOSD 2007, Vancouver, Canada, March 12, 2007
DiSL: a domain-specific language for bytecode instrumentation
Unveiling and reasoning about co-change dependencies
Aspect oriented DSLs for business process implementation
Aspect assumptions: a retrospective study of AspectJ developers' assumptions about aspect usage
Program analysis environment for writing COBOL aspects
Proceedings of the 1st workshop on Modularity in systems software, MISS@AOSD 2011, Porto de Galinhas, Brazil, March 22, 2011
Analyzing the discipline of preprocessor annotations in 30 million lines of C code
Reasoning tradeoffs in languages with enhanced modularity features
Hist-Inspect: a tool for history-sensitive detection of code smells
Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012
Early aspect identification from use cases using NLP and WSD techniques
Event-driven programming with EScala
Finding bugs in program generators by dynamic analysis of syntactic language constraints
Architecture composition for concurrent systems
ENdoSnipe: an industrial application of AOP for diagnosing Java systems
Improving Functional Testing Through Aspects: A Case Study
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect mining in the presence of the C preprocessor
JEScala: modular coordination with declarative events and joins
Towards a robust model for distributed aspects
"Program, enhance thyself!": demand-driven pattern-oriented program enhancement
SPECTACKLE: toward a specification-based DSAL composition process
Rely-guarantee approach to reasoning about aspect-oriented programs
Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM)
Relative merits of general and special purpose computers for information retrieval
Technical information flow patterns
Automatic design of logical networks
A review of ORDVAC operating experience
The use of parameter influence coefficients in computer analysis of dynamic systems
Application of digital simulation techniques to highway design problems
Experiments in processing pictorial information with a digital computer
Program design to achieve maximum utilization in a real-time computing system
Information retrieval: state of the art
Acceptance test for Raytheon hurricane computer
Analog, digital, and combined analog-digital computers for real-time simulation
Solid-state microwave high speed computers
Organizing a network of computers to meet deadlines
Generalization of pattern recognition in a self-organizing system
Block diagrams in logic design
A compact coincident-current memory
More accurate linear least squares
Design of experiments for evaluating reliability
Management games and computers
Analog time delay system
Calculated waveforms for the tunnel diode locked-pair circuit
The Burroughs electrographic printer-plotter for ordnance computing
High speed optical computers and quantum transition memory devices
The logical design of a digital computer for a large-scale real-time application
A computer-integrated rapid-access magnetic tape system with fixed address
The fact compiler: a system for the extraction, storage, and retrieval of information
Analog logarithmic and antilogarithmic circuits using switching transistors
Computing educated guesses
Evaluation of sorting methods
Evaluation of failure data
SAGE: a data-processing system for air defense
Application of data processors in production
A reliable method of drift stabilization and error detection in large-scale analog computers
Tunnel diode storage using current sensing
Statements from manufacturers on standardization of magnetic tape records
Problems in flight system simulation
A program-controlled program interruption system
A universal computer language translator
Data processing requirements for the purposes of numerical weather prediction
A twistor matrix memory for semipermanent information
Some remarks on logical design and programming checks
Computers challenge engineering education
Current problems in automatic programming
A solution for automatic unit control
Multi-channel analog-digital conversion system for D-C voltages
The Transac S-1000 computer
DYANA: dynamics analyzer-programmer: part II: structure and function
A new approach to grounding in DC analog computers
An analog-digital simulator for the design and improvement of man-machine systems
The use of the charactron with ERA 1103
Design criteria for autosynchronous circuits
Logical design methods
Redundancy exploitation in the computer solution of double-crostics
Symbolic logic in language engineering
Papers presented at the 1959 eastern joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1959 (Eastern), Boston, Massachusetts, USA, December 1-3, 1959
Experience on the Air Force UNIVAC
American Airlines' "Sabre" electronic reservations system
The automatic digital computer as an aid in medical diagnosis
The role of the digital computer in mechanical translation of languages
Normalized floating-point arithmetic with an index of significance
Use of a computer to design character recognition logic
A direct read-out bistable circuit and some applications of it
RCA's automatic store and forward message switching system
Optimization of analog computer linear system dynamic characteristics
Application and performance of magnetic-core circuits in computing systems
Megabit memory
Real-time digital differential analyzer (dart)
Airplane landing gear performance solutions with an electronic analog computer
Unifluxor: a permanent memory element
Data processing and information handling
An on-line management system using English language
Characteristics of currently available small digital computers
Resistor reliability - whose responsibility?: some case histories
Data-processor requirements in production and inventory control
Lincoln laboratory utility program system
The National Cash Register high-speed magnetic printer
The man-computer team in a space ecology
Realization of Boolean polynomials based on incidence matrices
Data handling by control word techniques
The design and system aspects of the HD file drum
Determination of optimum production tolerances by analog simulation
Operations control with an electronic computer
An organizational approach to the development of an integrated data-processing plan
Payroll accounting with Elecom 120 computer
Unusual problems and their solutions by digital computer techniques
Computers of the future
Quasi-random access memory systems
Facilities and instrumentation required for real-time simulation involving system hardware
Field performance of a new automatic fault-locating means
The RCA 601 system design
The role of USAF research and development in information retrieval and machine translation
Papers presented at the the 1959 western joint computer conference, IRE-AIEE-ACM 1959 (Western), San Francisco, California, USA, March 3-5, 1959
Physical simulation of nuclear reactor power plant systems
The use of manned simulation in the design of an operational control system
Reliability from a system point of view
Univac-Larc, the next step in computer design
A large-capacity drum-file memory system
Magnetic reproducer and printer
System design of the Gamma 60
Millimicrosecond transistor current switching techniques
High-temperature silicon-transistor computer circuits
Design and analysis of MAD transfer circuitry
Proceedings of the 1955 western joint computer conference, AIEE-IRE 1955 (Western), Los Angeles, California, USA, March 1-3, 1955
An advanced magnetic tape system for data processing
Computer design to facilitate linear programming
The ORDVAC
Numerical solution of differential equations
Traffic simulator with a digital computer
A pattern recognition program that generates, evaluates, and adjusts its own operators
Digital computers for linear, real-time control systems
Computers in basic business applications
Flow gating
Special-purpose tubes for computer applications
The chess machine: an example of dealing with a complex task by adaptation
New equations for management
Automatic data processing in larger manufacturing plants
The RCA 501 electronic data processing system
The residue number system
On prediction of system performance from information on component performance
The IBM magnetic drum calculator type 650 engineering and design considerations
A universal computer capable of executing an arbitrary number of sub-programs simultaneously
High-speed high-capacity photographic memory
The University of Manchester computing machine
Approaches to design problems in conversion equipment
Commercial applications: the implication of census experience
Direct access photomemory: part I. prototype machine system
A theorem on SPDT switching circuits
Arithmetic and control techniques in a multiprogram computer
Unit control systems engineering
Comments on session on learning machines
Traffic aspects of communications switching systems
Papers and discussions presented at the 1951 Joint AIEE-IRE computer conference: Review of electronic digital computers, AIEE-IRE 1951, Philadelphia, Pennsylvania, USA, December 10-12, 1951
Programming a variable-word-length computer
A new large-scale data-handling system, DATAmatic 1000
A method of voice communication with a digital computer
The mechanization of letter mail sorting
The JOVIAL checker an automatic checkout system for higher level language programs
Use of a digital/analog arithmetic unit within a digital computer
Parallelism in computer organization random number generation in the fixed-plus-variable computer system
An automatic voice readout system
The integrated use of analog and digital computing machines for aircraft dynamic load problems
Message storage and processing with a magnetic drum system
Synchronization of a magnetic computer
Interconnection techniques for semiconductor networks
The advantages of logical equation techniques in designing digital computers
Wide temperature range coincident current core memories
Requirements for a rapid access data file
The variable word and record length and the combined record approach on electronic data-processing systems
Data processing in banking and other services
Evaluation of new computer components, equipments, and systems for naval use
An RCA high-performance tape-transport system
The system in operation
The IBM 650 RAMAC inquiry station operation
DYANA: dynamics analyzer-programmer: part I: description and application
The simulation of verbal learning behavior
Electron tube and crystal diode experience in computing equipment
High-speed digital-to-analog conversion by integration of a variable-rate pulse train
The Shiftrix-machine organization for high-speed digital computation
Production of magazine labels by the videograph process
Conference summary
Group discussion on commercial and industrial applications of computers
Organization of computer systems: the fixed plus variable structure computer
Recent progress in the production of error-free magnetic computer tape
A digital-analog machine tool control system
A method of coupling a small computer to input-output devices without extensive buffers
Aircraft performance studied on an electronic analog computer
A transistorized transcribing card punch
Design of a numerical milling machine system
The universal data transcriber: a new approach to data conversion equipment
The FORTRAN automatic coding system
Negative-resistance elements as digital computer components
An experimental modulation-demodulation scheme for high-speed data transmission
Bilateral magnetic selection systems for large-scale computers
An approach to microminiature printed systems
The Nordsieck computer
Proceedings of the 1954 western computer conference: Trends in computers: automatic control and data processing, AIEE-IRE 1954 (Western), Los Angeles, California, USA, February 11-12, 1954
The case for combined analog-digital simulation
Performance of TRADIC transistor digital computer
Numerical methods for high-speed computers: a survey
The Siemens Digital Computer 2002
Design features of the ERA 1101 computer
Operating characteristics of the National Cash Register company's decimal computer, the CRC 102-D
Functional organization of data in the RCA BIZMAC system
On a potential customer for an intelligent technician
Pattern recognition and modern computers
Reliability and its relation to suitability and predictability
The development of a multiaperture reluctance switch
Using a variable-word-length computer for scientific calculation
Symbolic language translation
Horizons in computer system design
Modeling human mental processes
Data processing: what next?
The place of self-repairing facilities in computers with deadlines to meet
Methods used to improve reliability in military electronics equipment
A self-organizing binary system
Design of Univac®-LARC system: II
High speed printer and plotter
System evaluation and instrumentation of a special-purpose data processing system using simulation equipment
The electrographic recording technique
Papers and discussions presented at the 1953 eastern joint AIEE-IRE computer conference - information processing systems - reliability and requirements, AIEE-IRE 1953 (Eastern), Washington, D.C., USA, December 8-10, 1953
Group discussion on magnetic-tape standards
A merchandise control system
Small digital computers and automatic optical design
Papers presented at the 1960 eastern joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1960 (Eastern), New York, New York, USA, December 13-15, 1960
Papers and discussions presented at the 1958 eastern joint computer conference: Modern computers: objectives, designs, applications, AIEE-ACM-IRE 1958 (Eastern), Philadelphia, Pennsylvania, USA, December 3-5, 1958
The social responsibility of engineers and scientists
SEAC: review of three years of operation
Reservations communications utilizing a general purpose digital computer
The snapping dipoles of ferroelectrics as a memory element for digital computers
System evaluation and instrumentation for military special-purpose digital computer systems
Computers: from youth to manhood
A high-accuracy, real-time digital computer for use in continuous control systems
A basis for a mathematical theory of computation, preliminary report
Information retrieval study
Computers with remote data input
The logical design of CG24
An improved cathode ray tube storage system
The system organization of MOBIDIC B
A medium-speed magnetic core memory
A new tape handler for computer applications
High-speed transistor computer circuit design
The crossed-film cryotron and its application to digital computer circuits
A new approach to the functional design of a digital computer
Monte Carlo calculations in statistical mechanics
An automatic supervisor for the IBM 702
The virtual memory in the STRETCH computer
Business data processing: a case study: introduction
Design and development of a sampled-data simulator
Reliability of electrolytic capacitors in computers
Error detection and error correction in real-time digital computers
Optimization of a radar in its environment by GEESE techniques
X-15 analog flight simulation program: systems development and pilot training
High-speed data transmission systems
Performance of the census UNIVAC system
Logical organization of the DIGIMATIC computer
The harvest system
The IBM type 705 autocoder
Memory units in the Lincoln TX-2
The Whirlwind I computer
Industry's role in supporting high-school science programs
Print I: a proposed system for the IBM type 705
A line-drawing pattern recognizer
Characteristics of a multiple magnetic plane thin film memory device
Design of a basic computer building block
Associative self-sorting memory
Teletype high-speed tape equipment and systems
A word-oriented transistor driven non-destructive readout memory
The automatic transcription of machine shorthand
The IBM 7070 data processing system
Diagnostic techniques improve reliability
UNIVAC® - RANDEX II: random access data storage system
PB 250 a high-speed serial general purpose computer using magnetostrictive delay line storage
The magnetic ledger-card computer
Some communication aspects of character-sensing systems
A multiload transfluxor memory
IBM 7070 data processing system
Programming pattern recognition
A progress report on computer applications in computer design
Integrated data processing with the Univac file computer
Emergency simulation of the duties of the President of the United States
The need for integration of accounting systems and the design of electronic data-processing systems
Group discussion on diagnostic checks
Stock transaction records on the Datatron 205
A general approach to planning for management use of EDPM equipment
Magnetic switching
Real-time presentation of reduced wind-tunnel data
The application of a large-scale electronic computer to the assignment of telephone facilities
Analog simulation of underground water flow in the Los Angeles Coastal Plain
Automatic translation of printed code to impulses acceptable to computing equipment
Real-time management control at the Hughes Aircraft Company
Direct-coupled logic circuitry
Production control with the Elecom 125
An iteration procedure for parametric model building and boundary value problems
A new nondestructive read for magnetic cores
Small computers in a large world
Papers and discussions presented at the the eastern joint AIEE-IRE computer conference: Computers in business and industrial systems, AIEE-IRE 1955 (Eastern), Boston, Massachusetts, USA, November 7-9, 1955
Simulation of human problem-solving
A terminal for data transmission over telephone circuits
The computer operation language
The use of electronic data processing systems in the life insurance business
Communication switching systems as real-time computers
Combined analog/digital computing elements
A survey of microsystem electronics
The National Bureau of Standards eastern automatic computer
Gestalt programming: a new concept in automatic programming
Micro-system computer techniques
An electronic digital polynomial root extractor
Direct access photomemory: part II. system considerations
Transistorized modular power supplies for digital computers
A special-purpose solid-state computer using sequential access memory
A new concept in analog computers
Analog-digital techniques in autopilot design
Reliability in business systems
Electronic differential analyzers in perspective
Data collection as a by-product of normal business machine operation
Reliability and the computer
Critical-path planning and scheduling
Analog computer serves as both systems analysis tool and operator training facility for Enrico Fermi Atomic Power Plant