X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (636) 636
Publication (113) 113
Conference Proceeding (88) 88
Book Chapter (18) 18
Book Review (6) 6
Magazine Article (5) 5
Transcript (4) 4
Book / eBook (3) 3
Dissertation (3) 3
Newsletter (2) 2
Data Set (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
index medicus (159) 159
large-scale (127) 127
analysis (120) 120
humans (91) 91
mathematical models (74) 74
studies (73) 73
computer simulation (66) 66
large-scale systems (66) 66
simulation (65) 65
research (59) 59
models (56) 56
animals (54) 54
meteorology & atmospheric sciences (53) 53
software (53) 53
algorithms (52) 52
engineering, electrical & electronic (51) 51
engineering (42) 42
biochemistry & molecular biology (41) 41
methods (41) 41
computer science (40) 40
computer science, software engineering (39) 39
model (37) 37
very large scale integration (36) 36
science (34) 34
article (33) 33
cell biology (33) 33
mechanics (33) 33
design (32) 32
usage (32) 32
neurosciences (31) 31
genes (30) 30
variability (29) 29
computer science, interdisciplinary applications (28) 28
dynamics (28) 28
life sciences (28) 28
physics (28) 28
physiological aspects (28) 28
plant sciences (28) 28
software engineering (27) 27
large scale integration (26) 26
optimization (26) 26
very-large-scale integration (26) 26
gene expression (25) 25
biochemical research methods (24) 24
computer programs (24) 24
genomes (24) 24
precipitation (24) 24
biology (23) 23
biotechnology & applied microbiology (23) 23
earth sciences (23) 23
medicine (23) 23
multidisciplinary sciences (23) 23
neural networks (23) 23
genomics (22) 22
identification (22) 22
integrated circuits (22) 22
mathematical analysis (22) 22
meteorology (22) 22
astronomy & astrophysics (21) 21
chemistry (21) 21
climate change (21) 21
computational fluid dynamics (21) 21
large-scale biology (21) 21
physics, fluids & plasmas (21) 21
proteins (21) 21
temperature (21) 21
astrophysics (20) 20
classification (20) 20
computer science, information systems (20) 20
large-scale biology article (20) 20
male (20) 20
research article (20) 20
artificial intelligence (19) 19
data mining (19) 19
energy & fuels (19) 19
environmental sciences (19) 19
female (19) 19
machine learning (19) 19
oceanography (19) 19
technology (19) 19
climate models (18) 18
evolution (18) 18
genetic aspects (18) 18
large-scale models (18) 18
management (18) 18
stability (18) 18
arabidopsis thaliana (17) 17
clouds (17) 17
electrical engineering (17) 17
performance (17) 17
plants (17) 17
turbulence (17) 17
bioinformatics (16) 16
climate (16) 16
datasets (16) 16
fluid flow (16) 16
instruments & instrumentation (16) 16
remote sensing (16) 16
data analysis (15) 15
hardware (15) 15
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Neuroinformatics, ISSN 1539-2791, 06/2010, Volume 8, Issue 2, pp. 113 - 134
Journal Article
ACM SIGPLAN Notices, ISSN 0362-1340, 06/1975, Volume 10, Issue 6, pp. 105 - 113
This paper summarizes some recent experience in analyzing and eliminating sources of error in the design phase of large software projects. It begins by... 
Software design | Software productivity | Design validation | Reliable software | Automated aids | Software specifications | Large-scale software projects | Software tools | Verification and validation | Information systems
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 09/1981, Volume SE-7, Issue 5, pp. 482 - 493
Journal Article
Proceedings of the 19th Design Automation Conference, ISSN 0146-7123, 01/1982, pp. 83 - 90
This paper describes the changing environment of large-scale computer designs as they are influenced by the advance of technology. This changing environment... 
Automatic testing | Computer aided manufacturing | Buildings | Computer errors | Large scale integration | Hardware | Large-scale systems | Timing | Error correction | Floors
Conference Proceeding
Proceedings of the 20th Design Automation Conference, ISSN 0738-100X, 06/1983, pp. 396 - 402
Timing verification of VLSI designs using statistical techniques such as those implemented in Hitchcock's Timing Analysis 1 permit a far more precise... 
Circuits | Failure analysis | Delay estimation | Very large scale integration | Probability | Hardware | Data systems | Timing | Large-scale systems | System analysis and design
Conference Proceeding
Proceedings of the 20th Design Automation Conference, ISSN 0738-100X, 06/1983, pp. 497 - 505
N.mPc, a mature, UNIX*-based computer-aided design tool is described. Its structure, performance, and limitations are discussed together with its applications... 
Algorithm design and analysis | Design automation | Software design | Biological system modeling | Software algorithms | Very large scale integration | Signal processing | Software systems | Hardware | Signal design
Conference Proceeding
Proceedings of the 20th Design Automation Conference, ISSN 0738-100X, 06/1983, pp. 520 - 526
The N.2 System is described. N.2 is a simulation based design environment which is built upon the N.mPc System 1 . Major enhancements are presented, as well as... 
Graphics | Runtime | Computational modeling | Microprocessors | Fault detection | Programmable logic arrays | Microcomputers | Very large scale integration | LAN interconnection | Assembly
Conference Proceeding
Proceedings of the 21st Design Automation Conference, ISSN 0738-100X, 06/1984, pp. 294 - 300
Amoeba is an auto-interactive system which provides the chip designer with a powerful tool for cell layout. The system contains both interactive graphics... 
Graphics | Databases | Power system management | Keyboards | Management information systems | Very large scale integration | Displays | Workstations | Information management | Energy management
Conference Proceeding
Simulation, ISSN 0037-5497, 02/1989, Volume 52, Issue 2, pp. 68 - 77
This paper describes RSIM, a circuit simulation tool for the analysis and design of power supply routing in VLSI digital cir cuits. A review of existing VLSI... 
CAD/CAM, conjugate gradient | VLSI simulation | VLSI interconnects | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING | Integrated circuits | Power supplies | Circuit design | Simulation | Circuits | Noise | Spices | Very large scale integration
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 09/1989, Volume 15, Issue 9, pp. 1025 - 1037
Journal Article
IEEE International Symposium on Electromagnetic Compatibility, 1990, pp. 113 - 117
A description is given of the test concept and experimental validation of measurement techniques which exploit built-in-test (BIT) to simplify RF... 
Radio frequency | Integrated circuit testing | Printed circuits | Digital integrated circuits | Measurement techniques | Integrated circuit measurements | Very large scale integration | Hardware | Test equipment | Circuit testing
Conference Proceeding
Proceedings of the conference on european design automation, 11/1992, pp. 202 - 208
The complexity of circuit designs requires a top-down approach to layout synthesis. A good partitioning hierarchy, as measured by the associated Rent... 
Algorithm design and analysis | Wiring | Wires | Benchmark testing | Very large scale integration | Routing | Iterative algorithms | Capacitive sensors | Partitioning algorithms | Circuit synthesis
Conference Proceeding
IEEE Software, ISSN 0740-7459, 01/1992, Volume 9, Issue 1, pp. 38 - 46
The authors describe a knowledge-based design support system, called KDSS, that will help designers inexperienced in communication system design easily create... 
Costs | Protocols | Computer industry | Large-scale systems | Problem-solving | Artificial intelligence | Expert systems | Distributed computing | Intelligent systems | System analysis and design | COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING | Usage | Design and construction | Computer network protocols | Communications software
Journal Article
ACM Transactions on Mathematical Software (TOMS), ISSN 0098-3500, 09/1992, Volume 18, Issue 3, pp. 308 - 328
Journal Article
Conference Record of the Twenty Third IEEE Photovoltaic Specialists Conference - 1993 (Cat. No.93CH3283-9), 1993, pp. 486 - 490
The validation of an in-line manufacturing process for the fabrication of CuInSe/sub 2/-based solar cells (including the quaternary Cu[In,Ga]Se/sub 2/) has... 
Fabrication | Photovoltaic systems | Scanning electron microscopy | Manufacturing processes | Photovoltaic cells | Glass | Production | Large-scale systems | Solar power generation | Transistors
Conference Proceeding
ACM Transactions on Mathematical Software (TOMS), ISSN 0098-3500, 06/1993, Volume 19, Issue 2, pp. 233 - 256
This describes enhancements to provide more advanced computer-assisted analysis of instances of linear programming models. Three categories of enhancements are... 
infeasibility | linear programming | modeling | sensitivity analysis | computer-assisted analysis | large-scale systems | MATHEMATICS, APPLIED | DESIGN | LINEAR PROGRAMMING | MODELS | PERFORMANCE | LARGE-SCALE SYSTEMS | MODELING | LANGUAGES | EXPERIMENTATION | COMPUTER-ASSISTED ANALYSIS | INFEASIBILITY | SENSITIVITY ANALYSIS | Linear programming | Models | Software | Product enhancement
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 10/1994, Volume 20, Issue 10, pp. 774 - 784
Journal Article
Proceedings of the 16th international conference on software engineering, ISSN 0270-5257, 05/1994, pp. 341 - 350
Describes a methodology for software process engineering and an environment, SMART, that supports it. SMART supports a process life-cycle that includes the... 
Bridges | Computer languages | Object oriented modeling | USA Councils | Feedback | Large-scale systems | Object oriented programming | Monitoring | Software engineering | Guidelines
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.