<< مقالات لاتين فني مهندسي >>
<< بر اساس عنوان >>
1
Programmable variable-rate up/down counter for generating binary logarithms
2
Programmable vector-matrix multipliers for artificial neural networks
3
Programmable via Using Indirectly Heated Phase-Change Switch for Reconfigurable Logic Applications
4
Programmable video clock synthesizer with sub 0.5 ns drift
5
Programmable virtual source/drain MOSFETs
6
Programmable vision processor/controller for flexible implementation of current and future image compression standards
7
Programmable Vision Sensors with On-chip Real-time Image Processing
8
Programmable VLSI cubic-like function implementation
9
Programmable voltage mode resistorless multifunctional filter using CCCCTA
10
Programmable voltage multiplier for pacemaker output pulse generation
11
Programmable voltage multipliers for pacemaker output pulse generation in CMOS 0.8 µm technology
12
Programmable voltage regulating method for high voltage DC power supply based on digital potentiometer and linear photoelectric coupling
13
Programmable Voltage Regulator Design based on Digitally Controlled Potentiometer
14
Programmable voltage-output, floating-gate digital-analog converter
15
Programmable voltage-to-current converter with linear voltage control resistor
16
Programmable waveform generator using linear interpolation with multiplying D/A converters
17
Programmable wavelength dependent nematic liquid crystal attenuator, working in the C band
18
Programmable wavelength locking and routing in a silicon-photonic interconnection network implementation
19
Programmable wavelength tuning of an external-cavity diode laser
20
Programmable wavelength-time OCDMA coding design based on wavelength periodicity of arrayed-waveguide-grating
21
Programmable wavelet packet transform processor
22
Programmable Web environment for multimedia applications
23
Programmable weighted arbiters for constructing switch schedulers
24
Programmable wide range voltage adder/subtractor and its application as an encoder
25
Programmable wideband signal generation and matched filtering through a full digital approach
26
Programmable wireless lans for dynamic quality-of-service
27
Programmable wireless sensor node featuring low-power FPGA and microcontroller
28
Programmable workflow composition
29
Programmable works [Guest editorial]
30
Programmable, digital speech synthesiser
31
Programmable, four-channel, 128-sample, 40-Ms/s analog-ternary correlator
32
Programmable, four-channel, 128-sample, 40-Ms/s analog-ternary correlator
33
Programmable, multi-purpose opto-electronic sensor system
34
Programmable, multi-turn, pulse width modulation circuit for a non-contact angular position sensor
35
Programmable, polarization-independent, and DWDM-chromatic dispersion compensator using a virtually-imaged phased-array and spatial light modulator
36
Programmable/Reconfigurable ADCs For Multistandard Wireless Terminals
37
Programmable/Stoppable Oscillator Based on Self-Timed Rings
38
Programmable-dispersion matrix for optical beam-forming network
39
Programmable-gain amplifiers based on AC couplings for continuous reception
40
Programmable-output PFC rectifier with dynamic efficiency and transient response optimization
41
Programmably repetition tunable low pedestal femtosecond pulse train generation using comb-like profiled fiber
42
Programmatic evaluation and comparison based on standardized citation scores
43
Programmatic Impact of SDRAM SEFI
44
Programmatic Interfaces for Web Applications
45
Programmatic risk analysis to search for life on Mars
46
Programmatic risk balancing
47
Programmatic smart grid trial design development and analysis methodology
48
Programmatic Status of Nasa´s Csti High Capacity Power Stirling Space Power Converter Program
49
Programmatic testing of the Standard Template Library containers
50
Programme
51
Programme
52
Programme
53
Programme
54
Programme
55
Programme
56
Programme
57
Programme
58
Programme
59
Programme
60
Programme
61
Programme
62
Programme
63
Programme
64
Programme
65
Programme
66
Programme
67
Programme
68
Programme
69
Programme
70
Programme
71
Programme
72
Programme
73
Programme
74
Programme
75
Programme
76
Programme
77
Programme
78
Programme
79
Programme
80
Programme
81
Programme
82
Programme
83
Programme
84
Programme
85
Programme
86
Programme
87
Programme
88
Programme
89
Programme
90
Programme
91
Programme
92
Programme
93
Programme
94
Programme
95
Programme
96
Programme
97
Programme
98
Programme
99
Programme
100
Programme
101
Programme
102
Programme
103
Programme
104
Programme
105
Programme
106
Programme
107
Programme
108
Programme
109
Programme
110
Programme
111
Programme
112
Programme
113
Programme
114
Programme
115
Programme
116
Programme
117
Programme
118
Programme
119
Programme
120
Programme
121
Programme
122
Programme
123
Programme
124
Programme
125
Programme
126
Programme
127
Programme
128
Programme
129
Programme
130
Programme
131
Programme
132
Programme
133
Programme
134
Programme
135
Programme
136
Programme
137
Programme
138
Programme
139
Programme
140
Programme
141
Programme
142
Programme
143
Programme
144
Programme
145
Programme
146
Programme
147
Programme
148
Programme
149
Programme
150
Programme
151
Programme
152
Programme
153
Programme
154
Programme
155
PROGRAMME
156
Programme
157
Programme
158
Programme
159
Programme
160
Programme
161
Programme
162
Programme
163
Programme
164
Programme
165
Programme
166
Programme
167
Programme
168
Programme
169
Programme
170
Programme
171
Programme
172
Programme
173
Programme
174
Programme
175
Programme
176
Programme
177
Programme
178
Programme
179
Programme
180
Programme
181
Programme
182
Programme
183
Programme
184
Programme
185
Programme
186
Programme
187
Programme
188
Programme
189
Programme abstracts
190
Programme and Conference Co-Chairs
191
Programme and simulation of the fuzzy control list in fuzzy control
192
Programme and speakers
193
Programme and Table of Contents
194
Programme aspects for future multifrequency/multipolarization SAR
195
Programme at a glance
196
Programme at a glance
197
Programme at a glance
198
Programme at a glance
199
Programme at a glance
200
Programme by chronology (BHI 2012 pre-conference workshop)
201
Programme Chair´s Message
202
Programme chair´s welcome message
203
Programme Chairman´s Message
204
Programme Committee
205
Programme committee
206
Programme Committee
207
Programme Committee
208
Programme Committee
209
Programme Committee
210
Programme Committee
211
Programme Committee
212
Programme Committee
213
Programme Committee
214
Programme Committee
215
Programme Committee
216
Programme Committee
217
Programme Committee
218
Programme Committee
219
Programme Committee
220
Programme Committee
221
Programme Committee
222
Programme Committee
223
Programme Committee
224
Programme committee
225
Programme Committee
226
Programme Committee
227
Programme Committee
228
Programme Committee
229
Programme committee
230
Programme Committee
231
Programme Committee
232
Programme Committee
233
Programme Committee
234
Programme Committee
235
Programme Committee
236
Programme Committee
237
Programme committee
238
Programme Committee
239
Programme Committee
240
Programme Committee
241
Programme Committee
242
Programme Committee
243
Programme Committee
244
Programme Committee
245
Programme Committee - Volume 1
246
Programme Committee - Volume 2
247
Programme Committee - Volume 3
248
Programme Committee - Volume 4
249
Programme Committee - Volume 5
250
Programme Committee - Volume 6
251
Programme Committee - Volume 7
252
Programme Committee and Reviewers
253
Programme Committee Co-Chairs
254
Programme Committee Members
255
Programme committee members
256
Programme committee members
257
Programme committee members
258
Programme delivery control for simplified home video recording
259
Programme for an undergraduate course on instrumentation and measurement
260
Programme for economic and industrial co-operation
261
Programme for monitoring and control of a fed-batch fermentation process for the production of yeast
262
Programme for Power Electronics, Distributed Generation and Wind Turbine Events in Aalborg - Denmark 2012
263
Programme guide
264
Programme guide signals radio revolution / Extreme processing boost for special effects
265
Programme loudness assessment
266
Programme machines on the tube
267
Programme Navigation Systems and Access Control
268
Programme of the international convention on transistors and associated semiconductor devices
269
Programme outcomes assessment by direct method
270
Programme Overview
271
Programme policies in European engineering higher education system
272
Programme production and the 16:9 Action Plan: an assessment
273
Programme reviewers
274
Programme schedule
275
Programme schedule
276
Programme schedule
277
Programme schedule
278
Programme schedule :: ICoAC 2012
279
Programme schedule day 1
280
Programme schedule day 2
281
Programme schedule day 3
282
Programme schedule LONG
283
Programme schedule short
284
Programme summary
285
Programme timetable
286
Programme Timetable
287
Programme-controlled logical systems in electronic telephone exchanges
288
Programme-controlled time sharing
289
Programmed Affinity Extraction of Molecules on a Microfluidic Platform
290
Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits
291
Programmed autonomous microfluidics using microvalves and micropumps
292
Programmed autonomous valve operation based on electrowetting on composite single electrodes
293
Programmed Calculation of FM Spectral Components
294
Programmed Cardiac Pacing Using A Microcomputer As An External Control Device
295
Programmed compliance for error corrective assembly
296
Programmed compliance for error-correction in robotic assembly
297
Programmed control of the flat track anti-tank guided missile
298
Programmed data extraction for frequency-temperature behaviour of AlN based SAW sensors
299
Programmed data logging in forest harvesting using floating-aperture data compression
300
Programmed discharge of the capacity energy storage
301
Programmed driving waveforms for quick-response liquid powder displays
302
Programmed electrophoretic assembly and heterogeneous integration of optoelectronic devices at silicon substrates
303
Programmed Experimental Teaching Exercises
304
Programmed for Success: Educating Tomorrow's Workforce [From the Guest Editor]
305
Programmed gradient flow and controlled by microcomputer for automated titration
306
Programmed grammars -- A new device for generating formal languages
307
Programmed graph reduction based on function granularity and its parallel implementation
308
Programmed instruction and computer-assisted instruction—An overview
309
Programmed instruction and teaching machines
310
Programmed Instruction for Use of the Oscilloscope
311
Programmed Instruction the Engineering of Education
312
Programmed Instruction: An Application of the Engineering Method
313
Programmed interconnections—A release from tyranny
314
Programmed Interpretation of the Life Evolution and Computer Simulation
315
Programmed learning in engineering education-a preliminary study
316
Programmed Learning in Integrated Industrial Training
317
Programmed Logic Array Optimization
318
Programmed Osciallators for Doppler Radar Systems
319
Programmed Politeness
320
Programmed pulsewidth modulated waveforms for electromagnetic interference mitigation in DC-DC converters
321
Programmed PWM inverter using PC for induction motor drive
322
Programmed PWM techniques to eliminate harmonics - A critical evaluation
323
Programmed PWM techniques to eliminate harmonics: a critical evaluation
324
Programmed Search in Adaptive Systems
325
Programmed Six-Channel Electrical Stimulator for Complex Stimulation of Leg Muscles During Walking
326
Programmed solutions: the step beyond programmed logic [computer architecture]
327
Programmed synergy in dexterous robotic hands
328
Programmed synthesis of liquid shockwaves with piezoelectric high polymer film [therapeutic lithotripsy]
329
Programmed wavelength-hopping semiconductor laser
330
Programmed workshop control
331
Programmed-Amplitude Binary Signaling with Decision and Information Feedback
332
Programmer and writer collaboration: Making user manuals that work
333
Programmer as Reader
334
Programmer information needs after memory failure
335
Programmer variability
336
Programmer, interrupted
337
Programmer´s Expertise during Test-Driven Software Development
338
Programmer´s Performance with the Keystroke as an Indicator: A Further Study
339
Programmer´s Workbench for the Block Data Flow Architecture
340
Programmer-controlled application-level multicast
341
Programmer-controlled roundoff and the selection of a stable roundoff rule
342
Programmer-friendly Decompiled Java
343
Programmer-Friendly Refactoring Errors
344
Programmer-Guided Reliability for Extreme-Scale Applications
345
Programmers and managers: The routinization of computer programming in the United States
346
Programmers for implants: a need for radical change
347
Programmers Workbench, Unix and Documentation
348
Programmers´ Capital
349
Programmers´ views of SoCs
350
Programmer-transparent coordination of recovering concurrent processes: philosophy and rules for efficient implementation
351
Programming a damping matrix for error-corrective assembly
352
Programming a distributed system using shared objects
353
Programming a hypercube multicomputer
354
Programming a hyper-programmable architecture for networked systems
355
Programming a multi-agent system with MASL
356
Programming a pipelined image processor
357
Programming a PVR with pen and paper
358
Programming a Software Requirements-Specification Process
359
Programming a Switching Amplifier´s Current Gain for Phase Balance in Multiphase Controllers
360
Programming a Topological Quantum Computer
361
Programming a vector computer
362
Programming a VG-RAM based Neural Network Computer
363
Programming a VIPER
364
Programming Abstraction for Resource Aware Stream Processing for Scientific Workflows
365
Programming abstractions and middleware for building control systems as networks of smart sensors and actuators
366
Programming Abstractions and Toolchain for Dataflow Multithreading Architectures
367
Programming Abstractions for Data Intensive Computing on Clouds and Grids
368
Programming Abstractions for Software-Defined Wireless Networks
369
Programming advanced control functions for enhanced intelligence of industrial robots
370
Programming agents with visual rules
371
Programming Aids and Applications: Editor´s Note
372
Programming algorithms for multilevel phase-change memory
373
Programming an analog signal conditioning circuit without loss in measurement range
374
Programming an astrophysics application in an object-oriented parallel language
375
Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks
376
Programming an FPGA to emulate the dynamics of DC machines
377
Programming an FPGA-based Super Computer Using a C-to-VHDL Compiler: DIME-C
378
Programming an offline-analyzer of motor imagery signals via python language
379
Programming analog computational memory elements to 0.2% accuracy over 3.5 decades using a predictive method
380
Programming and control of humanoid robot football playing tasks
381
Programming and control of kinematically redundant manipulators
382
Programming and control of multiple robotic devices in coordinated motion
383
Programming and control of robots by means of differential algebraic inequalities
384
Programming and controlling self-folding robots
385
Programming and development environments for configurable computing systems
386
Programming and erase with floating-body for high density low voltage flash EEPROM fabricated on SOI wafers
387
Programming and learning in real-world manipulation tasks
388
Programming and Managing the Swarm -- An Operating System for an Emerging System of Mobile Devices
389
Programming and performance evaluation of the cell processor
390
Programming and Performance Modelling of Automotive ECU Networks
391
Programming and performance on a cube-connected architecture
392
Programming and Planning
393
Programming and Projection of Near IR Images Using
Films
394
Programming and reconfigurable control for the motor suite based on networks
395
Programming and simulating a three-armed cartesian robot
396
Programming and simulation of quantum search agents
397
Programming and Timing Analysis of Parallel Programs on Multicores
398
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
399
Programming antifuses in Crosspoint´s FPGA
400
Programming Anxiety Amongst Computing Students—A Key in the Retention Debate?
401
Programming approach with parallel capable instruments for test efficiency
402
Programming Approaches and Challenges for Wireless Sensor Networks
403
Programming as an engineering discipline
404
Programming assistance over distributed systems: MAPES
405
Programming at Burroughs and Philco in the 1950s
406
Programming at Manchester
407
Programming at runtime: Requirements & paradigms for nonprogrammer web application development
408
Programming at the end of the learning curve: Lisp scripting for image processing
409
Programming at the processor-memory-switch level
410
Programming automatic reflex actions in telemanipulation
411
Programming autonomous behavior of AMM network data concentrator by timed automata
412
Programming based learning algorithms of neural networks with self-feedback connections
413
Programming behaviors with local perception and smart objects: an approach to solve autonomous agents tasks
414
Programming bits and atoms
415
Programming board game strategies in CS2
416
Programming BOID-plan agents deliberating about conflicts among defeasible mental attitudes and plans
417
Programming Boolean expressions for testability
418
Programming by contract
419
Programming by Cooperation: Perceptual-Motor Sequence Learning via Human-Robot Interaction
420
Programming by demonstration - constructing task level plans in hybrid dynamic framework
421
Programming by demonstration by optical tracking system for dual arm robot
422
Programming by Demonstration of Pick-and-Place Tasks for Industrial Manipulators using Task Primitives
423
Programming by demonstration of probabilistic decision making on a multi-modal service robot
424
Programming by demonstration: dual-arm manipulation tasks for humanoid robots
425
Programming by demonstration: removing sub-optimal actions in a partially known configuration space
426
Programming by example in computing-as-editing paradigm
427
Programming by touch: the different way of human-robot interaction
428
Programming Cellular Permutation Networks Through Decomposition of Symmetric Groups
429
Programming challenges & solutions for multi-processor SoCs: An industrial perspective
430
Programming Challenges for the Implementation of Numerical Quadrature in Atomic Physics on FPGA and GPU Accelerators
431
Programming characteristics of p-channel Si nano-crystal memory
432
Programming characteristics of the steep turn-on/off feedback FET (FBFET)
433
Programming Characteristics of Two-Bit Sonos Type Flash Memory Using High-K Dielectric Material
434
Programming Chemical Kinetics Problems for Electronic Analogue Computers
435
Programming CNN: a hardware accelerator for simulation, learning, and real-time applications
436
Programming combined discrete-continuous simulation models for performance
437
Programming communication interfaces (PCIs)-T.611: a new CCITT standard API for Facsimile applications
438
Programming Complex Problems Simply
439
Programming complex robot tasks by prediction: experimental results
440
Programming computers embedded in the physical world
441
Programming concept for an industrial HRI packaging cell
442
Programming concurrency and synchronisation in Actel
443
Programming Concurrent and Distributed Algorithms In Java
444
Programming conditions for silicided poly-Si or copper electrically programmable fuses
445
Programming configurable multiprocessors
446
Programming connections for a flexible test system
447
Programming considerations in the design and use of a SIMD image computer
448
Programming contact tasks using a reality-based virtual environment integrated with vision
449
Programming contest and training platform based on STM
450
Programming contests in academic environmients
451
Programming cooperative systems in Drago
452
Programming costs of explicit memory localization on a large scale shared memory multiprocessor
453
Programming Course Design: Phenomenographic Approach to Learning and Teaching
454
Programming Courses Teaching Method for Ability Enhancement of Computational Thinking
455
Programming Current Reduction via Enhanced Asymmetry-Induced Thermoelectric Effects in Vertical Nanopillar Phase-Change Memory Cells
456
Programming customized parallel architectures in FPGA
457
Programming deburring robots based on human demonstration with direct burr size measurement
458
Programming design of Digital-Down Converter based on software radio
459
Programming design process: Providing K-12 students with a structure to attain programming goals
460
Programming deterministic reactive systems with Synchronous Java
461
Programming Directives for Elastic Computing
462
Programming discrete control systems using state machine templates
463
Programming distributed applications with symbolic reasoning on WSNs
464
Programming distributed memory parallel computers without explicit message passing
465
Programming Distributed Memory Sytems Using OpenMP
466
Programming distributed systems with configuration languages
467
Programming distributed systems with Group_IO
468
Programming distributed Web services using WebGOP: a graph-oriented approach
469
Programming disturbance and cell scaling in phase change memory: For up to 16nm based 4F
2
cell
470
Programming DSP systems on multiprocessor architectures
471
Programming dynamics of a single electron memory cell with a high-density SiGe nanocrystal array at room temperature
472
Programming Ecological Niche Modeling Workflows in the Cloud
473
Programming education based on computer graphics animation
474
Programming education for primary school children using a textual programming language
475
Programming Education in the Era of the Internet: A Paradigm Shift
476
Programming efficiency and drain disturb trade-off in embedded Non Volatile Memories
477
Programming Efficiency of Stacked-Gate Flash Memories with High-κ Dielectrics
478
Programming Elasticity and Commitment in Dynamic Processes
479
Programming Elasticity in the Cloud
480
Programming Electronic Switching Systems
481
Programming embedded networked sensor systems
482
Programming environment based on distributed shared arrays for high-performance scientific computing
483
Programming environment for a line processor-SYMPATI-2
484
Programming environment for phase-reconfigurable parallel programming on SuperNode
485
Programming environments for blocks need first-class software refactoring support: A position paper
486
Programming environments for parallel computing: a comparison of CPS, Linda, P4, PVM, POSYBL, and TCGMSG
487
Programming environments for reusability
488
Programming environments for transputer-based architectures
489
Programming Examples Analysis of Commercial Vocational High School Textbooks in Taiwan
490
Programming Execution-Time Servers in Ada 2005
491
Programming Experiences Using the X10 Language
492
Programming fault-tolerant distributed applications in HOPS
493
Programming FFT on DSM multiprocessors
494
Programming fieldbus nodes: a RAD approach to customizable applications
495
Programming finite-difference time-domain for graphics processor units using compute unified device architecture
496
Programming Flash Memory in Freescale S12XS Serials MCUs
497
Programming Flash Memory with boundary scan using general purpose digital instrumentation
498
Programming flexible distributed real-time systems
499
Programming floating-gate circuits with UV-activated conductances
500
Programming for an Advanced Nuclear Phiysics Data Acouisition System
501
Programming for communication: overcoming motivational barriers to computation for all
502
Programming for dependability in a service-based grid
503
Programming for evaluating strip layout of progressive dies
504
Programming for Everyone
505
Programming for Exascale Computers
506
Programming for GPUs: The Directive-Based Approach
507
Programming for Microprocessors
508
Programming for open platforms at universities: Experience of joint activity of Petrozavodsk state university and Nokia university cooperation program
509
PROGRAMMING FOR PARALLEL PATTERN GENERATORS
510
Programming for Parallelism
511
Programming for the LK3000 and Cartridges
512
Programming FPGA based NoCs with Java
513
Programming from the bottom up [Books]
514
Programming from the Reader´s Perspective: Toward an Expectations Approach
515
Programming fuzzy logic in assembly language
516
Programming generic dynamic reconfigurations for distributed applications
517
Programming GPU Clusters with Shared Memory Abstraction in Software
518
Programming graphics processing units for the decoding of low-density parity-check codes
519
Programming graphics processing units in the RVC-CAL dataflow language
520
Programming groups of local models from human demonstration to create a model for robotic assembly
521
Programming heterogeneous distributed architectures: the integration of massive parallel architectures and UNIX distributed systems
522
Programming Heterogeneous Systems
523
Programming Heterogeneous Systems with Array Types
524
Programming heterogeneous transactions for software development environments
525
Programming Hierarchical TS Fuzzy Systems
526
Programming high performance applications in grid environments
527
Programming Highly Parallel Reconfigurable Architectures for Public-Key Cryptographic Applications
528
Programming home care
529
Programming Hopfield network for object recognition
530
Programming Hopfield network for relational homomorphism
531
Programming Human and Software-Based Web Services
532
Programming iMote Networks Made Easy
533
Programming in a CORBA Environment
534
Programming in a data factory
535
Programming in a mother tongue: philosophy, implementation, practice and effect
536
Programming in concurrent logic languages
537
Programming in equational logic: beyond strong sequentiality
538
Programming in Grenoble in the 1960s and those who Flew from the Nest
539
Programming in groups: A progression learning scheme from the individual to the group
540
Programming in Limbo
541
Programming in pictures within Filmification Modeling environment
542
Programming in the architecture for agile assembly
543
Programming in the large
544
Programming in VS Fortran on the IBM 3090 for maximum vector performance
545
Programming industrial control systems using IEC 1131-3
546
Programming Innovation of BIW with Flexible Manufacturing Flexibility of Workshop Instead of Line
547
Programming Intelligent Problem Solvers
548
Programming interface requirements for an AMS simulator
549
Programming intermediate level vision tasks on parallel machines
550
Programming Internet telephony services
551
Programming Internet telephony services
552
Programming into graphs of a new generation and the single graphical shell for all languages
553
Programming irregular scientific algorithms with static properties on clusters of SMP nodes
554
Programming issues raised by a multiprocessor
555
Programming Keynotes on J2ME-Based Mobile Map Services
556
Programming language based definition of application oriented hardware
557
Programming Language Constructs for Screen Definition
558
Programming language criteria for model transformation evaluation
559
Programming Language Design in Cybernetics Applications
560
Programming language for robotic assembly tasks
561
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL
562
Programming Language Learning Supported by an Accredited Course Strategy
563
Programming language neutral design pattern detection
564
Programming language Python for data processing
565
Programming Language Semantics with Isabelle/HOL
566
Programming language support for adaptable wearable computing
567
Programming language support for multicast communication in distributed systems
568
Programming language support for real-time distributed systems
569
Programming language support for routing in pervasive networks
570
Programming language support for writing fault-tolerant distributed software
571
Programming Languages
572
Programming Languages
573
Programming languages
574
Programming Languages adherent to the Adaptive Paradigm
575
Programming Languages and Direct-Execution Computer Architecture
576
Programming languages and systems security
577
Programming languages for CSE: the state of the art
578
Programming Languages for Hardware Description
579
Programming languages for Wireless Sensor Networks: A comparative study
580
Programming Languages—The First 25 Years
581
Programming languages: where next?
582
Programming Lecture Support System Linked to a Lecture Towards Non-Kanji Countries
583
Programming LEGO mindstorms NXT with visual programming
584
Programming literacy level needed for modern teachers: Fragile border between content creator and a programmer
585
Programming Living Cells to Function as Massively Parallel Computers
586
Programming manipulation tasks by demonstration in visuo-haptic augmented reality
587
Programming mechanism of polysilicon fuse links
588
Programming mechanism of polysilicon resistor fuses
589
Programming Mechanism of Polysilicon Resistor Fuses
590
Programming metasystems with active objects
591
Programming Method and Formalization for Activity-Oriented Context-Aware Applications
592
Programming Method for Failure of Network Security Based on Game Model
593
Programming methodologies and tools
594
Programming Microprocessor Interfaces for Control and Instrumentation
595
Programming micros -- it´s easier than you think
596
Programming middle boxes with group event notification protocol
597
Programming mobile intelligent agents: an operational semantics
598
Programming mode dependent degradation of tunnel oxide floating gate devices
599
Programming model alternatives for disconnected business applications
600
Programming Model and Method for the Customer Friendly Distribution System
601
Programming Model Elements for Hybrid Collaborative Adaptive Systems
602
Programming model for concept learning and its solution based on genetic algorithms
603
Programming model to determine the effect of input parameters variations on the network characteristics
604
Programming Model with Stochastic and Fuzzy Parameters and Its Mixed Intelligence Algorithm
605
Programming Models and Development Software for a Space-Based Many-Core Processor
606
Programming models and HW-SW interfaces abstraction for multi-processor SoC
607
Programming models and languages for SoC-implemented architectures
608
Programming models and system software for future high-end computing systems: work-in-progress
609
Programming Models Based on Data Versioning for Dependency-aware Task-based Parallelisation
610
Programming Models for Behavioral Monitoring of Distributed Networks
611
Programming Models for Grid Applications and Systems: Requirements and Approaches
612
Programming Models for High-Performance Computing
613
Programming models for hybrid CPU/FPGA chips
614
Programming models for hybrid FPGA-cpu computational components: a missing link
615
Programming Models for Massively Parallel Computers
616
Programming models for multiprocessor SoC (full-day) [Tutorial]
617
Programming models for petascale to exascale
618
Programming Models for Reconfigurable Systems
619
Programming modular robots with locally distributed predicates
620
Programming MPSoC platforms: Road works ahead!
621
Programming multicomputers using shared objects
622
Programming multi-core architectures using Data-Flow techniques
623
Programming Multicores with Kahn Process Networks; a Smart Choice?
624
Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?
625
Programming Multiprocessors with Explicitly Managed Memory Hierarchies
626
Programming narrative
627
Programming network via Distributed Control in Software-Defined Networks
628
Programming Normative Artifacts with Declarative Obligations and Prohibitions
629
Programming of DataFlow SuperComputers
630
Programming of flash with ICT rights and responsibilities
631
Programming of flexible assembly cell: Task modelling and system integration
632
Programming of PIC Micro-Controller for Power Factor Correction
633
Programming of robots based on online computation of their swept volumes
634
Programming of the DSP2 board with the Matlab/Simulink
635
Programming of the Fire Escaping Paths Using Bayesian Estimated Algorithm
636
Programming on Android: Best Practices for Security and Reliability
637
Programming on the linux side [Book Review]
638
Programming on the Univac 1: a woman´s account
639
Programming one´s itinerary rationally based on the model of the fuzzy biorhythms
640
Programming optical states in VO
2
film for IR phototherapy
641
Programming paradigm of a microcontroller with hardware scheduler engine and independent pipeline registers - a software approach
642
Programming Paradigms for Real-Time Systems
643
Programming parallel apriori algorithms for mining association rules
644
Programming parallel computers
645
Programming parallel distributed control for complex systems
646
Programming pattern-based composition in Golog
647
Programming Patterns for Architecture-Level Software Optimizations on Frequent Pattern Mining
648
Programming Perceptions and Computer Literacy of Students Enrÿlled in Computer-Related Curricula
649
Programming peripheral modules of the MC68300 and MC68HC16 microcontrollers
650
Programming persistence in chi
651
Programming pervasive and mobile computing applications with the TOTA middleware
652
Programming pervasive spaces
653
Programming Pervasive Spaces: Workshop on Semantic Interoperability in Smart Spaces
654
Programming plagiarism as a social phenomenon
655
Programming platform for NAO robot in cognitive interaction applications
656
Programming protocol optimization for analog weight tuning in resistive memories
657
Programming Protocol Optimization for Analog Weight Tuning in Resistive Memories
658
Programming quantum interference with multiple scattering
659
Programming reactive systems with statecharts
660
Programming real-time applications with SIGNAL
661
Programming Real-Time Autofocus on a Massively Parallel Reconfigurable Architecture Using Occam-pi
662
Programming reconfigurable modular robots
663
Programming Risk Assessment Models for Online Security Evaluation Systems
664
Programming Robots to Express Emotions: Interaction Paradigms, Communication Modalities, and Context
665
Programming robots with associative memories
666
Programming Role Enactment through Reflection
667
Programming Routing Policies for Video Traffic
668
Programming safety requirements in the REFLECT design flow
669
Programming Sagas in SOCK
670
Programming service tasks in household environments by human demonstration
671
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads
672
Programming shared virtual memory multiprocessors
673
Programming signal processing applications on heterogeneous wireless sensor platforms
674
Programming simultaneous actions using common knowledge: Preliminary version
675
Programming Skill Transfer from Experienced to Novices with Animated Diagrams
676
Programming skills training in programming language courses
677
Programming Software-Defined wireless networks
678
Programming speed characterization of 0.6 μm FLOTOX EEPROM cell
679
Programming Strategies for GPUs and their Power Consumption
680
Programming strategies for runtime adaptability
681
Programming Strategies In the Game of Push-Over
682
Programming strategies to improve energy efficiency and reliability of ReRAM memory systems
683
Programming structural color and magnetic anisotropy in polymer composite micrustructure for novel biosystems
684
Programming style changes in evolving source code
685
Programming Style: Influences, Factors, and Elements
686
Programming Styles in Nial
687
Programming Success into Employee Hiring
688
Programming successful branch meetings: The secret ingredients for success are advance planning, people agreement, and good publicity
689
Programming support and adaptive checkpointing for high-throughput data services with log-based recovery
690
Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure
691
Programming Support for Distributed Optimization and Control in Cyber-Physical Systems
692
Programming support for sensor-based scientific applications
693
Programming Support for Speculative Execution with Software Transactional Memory
694
Programming support for the flexible coupling of distributed software components for scientific simulations
695
Programming System Methodologies
696
Programming systems for autonomy
697
Programming systolic arrays
698
Programming Task Demands
699
Programming teaching in high schools: An analysis based on the discourse of collective subject
700
Programming techniques for PA
3
architectures
701
Programming technology, reliability, safety and measurement
702
Programming telecommunication networks
703
Programming the Adapteva Epiphany 64-Core Network-on-Chip Coprocessor
704
Programming the algorithm learning neural network back propagation
705
Programming the Bi-CGSTAB matrix solver for HPC and benchmarking IBM SP3 and alpha ES40
706
Programming the bureaucratic computer
707
Programming the Connection Machine
708
Programming the data structure accelerator
709
Programming the EDSAC: early programming activity at the University of Cambridge
710
Programming the EDSAC: Early Programming Activity at the University of Cambridge
711
Programming the grid: component systems for distributed applications
712
Programming the harmonium
713
Programming the Intel 80-core network-on-a-chip Terascale Processor
714
Programming the Mark I: Early Programming Activity at the University of Manchester
715
Programming the Minimum-Inductance Transformation
716
Programming the Nallatech Xeon + multi-FPGA heterogeneous platform
717
Programming the PIC microcontroller with Mbasic [Book Review]
718
Programming the Pilot ACE: Early Programming Activity at the National Physics Laboratory
719
Programming the PLUS Distributed-Memory System
720
Programming the robot in tasks of inspection and interception
721
Programming the smart home
722
Programming the twisted-cube architectures
723
Programming the utilizing digital computers
724
Programming the Web: the W3C DOM specification
725
Programming the WFTA for two-dimensional data
726
Programming three parallel computers
727
Programming through disciplined modification
728
Programming through pictorial transformations
729
Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler
730
Programming to Achieve the Reception Extraction and Translation of GPS Positioning Information
731
Programming tools for IEC 1131-3 and extensions for distributed systems
732
Programming tools for surfaces reconstruction problems solution
733
Programming tools used in forensic approach for the internet sites contents discovering
734
Programming Transients of Trapping Nitride Storage Flash Memory Cells and Evidence of Lateral Charge Redistributions during or after Programming
735
Programming transparency and portable hardware interfacing: towards general-purpose reconfigurable computing
736
Programming transputers
737
Programming Turing Machines as a Game for Technology Sense-Making
738
Programming tutors, practiced concepts, and demographics
739
Programming Unplugged: Bridging CS Unplugged Activities Gap for Learning Key Programming Concepts
740
Programming using dynamic system modeling via a 3D-based multimodeling framework
741
Programming VBA macro with the recording tool of Excel
742
Programming via Rewriting
743
Programming video cards for computational electromagnetics applications
744
Programming views for mobile database clients
745
Programming visualization system of block diagram reliability for program complex ASNA-4
746
Programming voltage reduction in phase change cells with conventional structure
747
Programming Web-based applications within a data-flow VL
748
Programming web-course analysis: How to introduce computer programming?
749
Programming Window Degradation in Flotox Eeprom Cells
750
Programming Windows 35, 3rd ed [Books]
751
Programming Windows NT device drivers to operate non-interrupting embedded devices
752
Programming wireless recharging for target-oriented rechargeable sensor networks
753
Programming Wireless Sensor and Actor Networks with TC-WSANs
754
Programming Wireless Sensor Networks in a Self-Stabilizing Style
755
Programming with an intelligent agent
756
Programming with assertions: a prospectus [software development]
757
Programming with class: a C++ introduction to computer science [Book Review]
758
Programming with communicating nondeterministic logic objects
759
Programming with Concurrency: Threads, Actors, and Coroutines
760
Programming with distributed shared memory
761
Programming with Functional Memory
762
Programming with Gaussian logarithms to compute the approximate addition and subtraction of very small (or very large) positive numbers
763
Programming with Ghosts
764
Programming with Implicit Flows
765
Programming with Invariants
766
Programming with logical queries, bulk updates, and hypothetical reasoning
767
Programming with MPI on clusters
768
Programming with object groups in CORBA
769
Programming with objects
770
Programming with Objects: A Comparative Presentation of Object-Oriented Programming with C++ and Java [Book Review]
771
Programming with patterns
772
Programming with P-Shell
773
Programming with Python
774
Programming with streams in a Pascal-like language
775
Programming with threads [Book Review]
776
Programming with threads [Book Reviews]
777
Programming with transactions and chemical abstract machine
778
Programming with Verification Conditions
779
Programming with visual expressions
780
Programming without a computer: a new interface for children under eight
781
Programming without bothering about data structures?
782
Programming without code
783
Programming, compiling and executing partially-ordered instruction streams on scalable shared-memory multiprocessors
784
Programming: Sorcery or Science?
785
Programming-Based OWA Operator Weights With Quadratic Objective Function
786
Programming-by-Demonstration and adaptation of robot skills by fuzzy-time-modeling
787
Programming-by-Demonstration of reaching motions for robot grasping
788
Programming-by-Demonstration of robot skills using fuzzy-time-modeling
789
Programming-by-Example Meets the Semantic Web: Using Ontologies and Web Services to Close the Semantic Gap
790
Programming-conditions solutions towards suppression of retention tails of scaled oxide-based RRAM
791
Programming-in-the-Large Versus Programming-in-the-Small
792
Programming-in-the-large: past, present, and future
793
ProgrammingLand: A visualization enhanced hypertextbook
794
Programming-Language-Oriented Instruction Streams
795
Programming-Level Power Measurement for GPU Clusters
796
Programmmable SAW Matched Filters for Phase Coded Waveforms
797
Program-Operated Level-Governing Amplifier
798
Programs
799
Programs
800
Programs
801
Programs & abstracts
802
Programs & abstracts
803
Programs & abstracts
804
Programs and Systems for On-Line Computers in Low Energy Nuclear Physics
805
Programs and types
806
Programs are abstract data types
807
Programs are Knowledge Bases
808
Programs by Telesoftware
809
Programs Designed to Help Small Businesses Commercialize Devices Invented by NASA, DOD, and Other Federal Agencies: A Case History
810
Programs for Cheap!
811
Programs for digital signal processing
812
Programs for Digital Signal Processing-Digital Signal Processing Committee, IEEE Acoustics, Speech, and Signal Processing Society
813
Programs for people: What we can learn from lab protocols
814
Programs for Statistics and Data Analysis
815
Programs for supporting the teaching of digital speech processing
816
Programs for the study of HVDC systems
817
Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork
818
Programs help spot hot spots: Computerized thermal analysis enhances the reliability of electronic products by identifying potential thermal problems at a point where designers can easily fix them
819
Programs in acoustics and signal processing in the U.S. Navy
820
Programs in higher levels of information fusion [USAF applications]
821
Programs in information systems at Florida International University
822
Programs in software engineering education
823
Programs management and integrated product/process development in high technology industries
824
Programs of Current Technical Conferences
825
Programs of Current Technical Conferences
826
Programs of Current Technical Conferences
827
Programs of Current Technical Conferences
828
Programs of the Center on Disabilities at California State University, Northridge
829
Programs That Test Themselves
830
Programs to detect and manage aging of instrumentation and control components for license renewal [nuclear plants]
831
Programs, grammars and arguments: a personal view of some connections between computation, language and logic
832
Programs, life cycles, and laws of software evolution
833
Programs, tests, and oracles: the foundations of testing revisited
834
Programs/projects management and integrated product/process development in high technology electronic products industries
835
Programska implementacija sistema za prikupljanje i obradu signala sa elektronskih kontrolnih jedinica u automobilskoj mreži
836
Progranmable Pneumatic Generator for Manipulation of Intrathoracic Pressure
837
PROGRAPE-1: a programmable special-purpose computer for many-body simulations
838
Prograph: a step towards liberating programming from textual conditioning
839
ProgREDSI: a communications manager
840
Progres on large-scale, low-cost Si(Li) detector fabrication for the GAPS balloon mission
841
Progress
842
Progress
843
Progress
844
Progress
845
Progress and analysis of the liquid crystal phased array technology in ladar
846
Progress and Application of Optical Fibre Probes for In Vivo Raman Spectroscopy
847
Progress and applications of Q-switching techniques using molecular gas lasers
848
Progress and applications of VECSELs: The most versatile laser platform
849
Progress and benchmarking of CMOS-device technologies
850
Progress and challenges for high speed optical access networks
851
Progress and challenges in building evolvable devices
852
Progress and challenges in real time hardware-in-the loop simulations of integrated ship power systems
853
Progress and challenges in the construction of wendelstein 7-X
854
Progress and challenges in the direct monolithic integration of III–V devices and Si CMOS on silicon substrates
855
Progress and Challenges in VLSI Placement Research
856
Progress and challenges in VLSI placement research
857
Progress and challenges in worldwide federation of future internet and distributed cloud testbeds
858
Progress and challenges of GaN-based microwave HEMTs, amplifiers and novel spin
859
Progress and challenges of tungsten-filled through-silicon via
860
Progress and challenges of urban rail transit in Mainland China
861
Progress and Challenges Towards Terahertz CMOS Integrated Circuits
862
Progress and experience on type and field testing procedures of SF6 gas insulated substations
863
Progress and feasibility for a unified standard for frequency, time, and length
864
Progress and First Results With the New Multifrequency ECRH System for ASDEX Upgrade
865
Progress and forecast in electric vehicle batteries
866
Progress and future challenges of silicon carbide devices for integrated circuits
867
Progress and future directions in brightness electron beam sources
868
Progress and future directions of the US EUV lithography program
869
Progress and Future of Carbon-Based Electronics
870
Progress and future prospects of group III nitride semiconductors
871
Progress and future prospects of research and development on coated conductors in Japan
872
Progress and Future Trends in Electric Transmission [includes discussion]
873
Progress and future view of silicon space solar cells in Japan
874
Progress and issues in polycrystalline thin-film PV technologies
875
Progress and its enlightenments in application research on emergy theory
876
Progress and missed opportunities in spatial analysis for Digital Earth
877
Progress and modern tendency in thermoelectrical materials science
878
Progress and opportunities in InP HBT terahertz monolithic integrated circuits
879
Progress and outlook for MRAM technology
880
Progress and outlook for MRAM technology
881
Progress and outlook for STT-MRAM
882
Progress and outlook of lithography for semiconductor IC
883
Progress and perspectives in digital holographic microscopy applied to life sciences
884
Progress and perspectives of LiNbO
3
wideband Bragg cells
885
Progress and Plans for R&D and the Conceptual Design of the ILC High Gradient Structures
886
Progress and Plans for R&D and the Conceptual Design of the ILC Injector Systems
887
Progress and Plans for R&D and the Conceptual Design of the ILC Main Linacs
888
Progress and plans for the U.S. HEP conductor development program
889
Progress and Plans of the Proto-Sphera Program
890
Progress and preliminary results on EB stepper
891
Progress and problems
892
Progress and Problems From Interconnection in Southeastern States
893
Progress and Problems in Quartz Crystal Circuitry and Measurements
894
Progress and Problems in Short Term Stability
895
Progress and Problems in U. S. Army Communications
896
Progress and problems in world communication
897
Progress and problems in world communication
898
Progress and Productivity Through Computer Graphics
899
Progress and promotion of the international interchange of information on sensing technologies
900
Progress and prospect of objectivity study on four diagnostic methods in Traditional Chinese Medicine
901
Progress and prospect of quantum dots and photonic crystal for future photonic network devices
902
Progress and Prospect of Superconducting Magnet Systems in J-PARC
903
Progress and prospects for a theory of large scale systems
904
Progress and prospects for high efficiency and gigacount per second detectors for quantum repeaters using superconducting nanowire detectors
905
Progress and Prospects in PEA Space Charge Measurement Techniques - [Feature Article]
906
Progress and Prospects of Chinese and International Environmental Finance Study
907
Progress and prospects of long-wavelength VSELs
908
Progress and Prospects of Nano-Optoelectronic Devices for Optical Communications
909
Progress and prospects of semiconductor Ss for nanoelectronics
910
Progress and prospects of silicon transistors based on junction technologies
911
Progress and Prospects of Spin Transfer Torque Random Access Memory
912
Progress and prospects of surface emitting lasers toward ultr-parallel optoelectronics
913
Progress and prospects toward brightness improvements at the Advanced Photon Source
914
Progress and Quality Modeling of Requirements Analysis Based on Chaos
915
Progress and Quality Modeling of Requirements Analysis Based on Chaos
916
Progress and Recent Realizations of Miniaturized Inductive Proximity Sensors for Automation
917
Progress and Status in SNS Magnet Measurements at ORNL
918
Progress and Status of a 2G HTS Power Cable to Be Installed in the Long Island Power Authority (LIPA) Grid
919
Progress and status of the gyrotron development for the JT-60SA ECH/CD system
920
Progress and status of the WASP3 WSI massively parallel processor
921
Progress and Tendency of Research on the National Geopark Tourism Services System in China
922
Progress and trends in multi-Gbps optical receivers with CMOS integrated photodetectors
923
Progress and trends of communications quality management
924
Progress and Trends on Primary and Secondary Lithium Batteries
925
Progress and validation of Geant4 based radioactive decay simulation using the examples of Simbol-X and IXO
926
Progress assessment on energy-saving goal achieving in”11th Five-Year Plan” period and analysis of energy-saving situation
927
Progress at brookhaven in the design of helium-cooled power transmission systems
928
PROGRESS AT CENAM TOWARDS A CS FOUNTAIN CLOCK
929
Progress at CSIRO Australia towards a microwave frequency standard based on trapped, laser-cooled
171
Yb
+
ions
930
Progress at IMGC in the absolute determination of the silicon
d
(220) lattice spacing
931
Progress at NIST toward absolute frequency standards using stored ions
932
Progress at NIST toward absolute frequency standards using stored ions
933
Progress at the State Time and Frequency Standard of Russia
934
Progress away from evidence based medicine to discovery of dynamic principles of disease and its treatment
935
Progress by the electronics industry on protection of stratospheric ozone
936
Progress chasing a punching cell
937
Progress depends on unbalance and disorder
938
Progress developing standards for system and subsystem interfaces in rail passenger vehicles
939
Progress for Behavioral Challenges: A Summary of Time-domain Behavioral Modeling of RF and Microwave Subsystems
940
Progress from stereoscopic to three-dimensional displays based on visual perception
941
Progress im High-Level Microprogramming
942
Progress in
RRP Strand Studies and Rutherford Cable Development at FNAL
943
Progress in
-2212 Wires for High Magnetic Field Applications
944
Progress in 1-μ
m
Pumped Mid-IR Optical Parametric Oscillators Based on Non-Oxide Nonlinear Crystals
945
Progress in 1-μm pumped mid-IR optical parametric oscillators based on non-oxide nonlinear crystals
946
PROGRESS IN 2N MEGAJOULE ELECTROTHERMAL CHEMICAL GUN PULSER
947
Progress in 3-circuit theory
948
Progress in 3-D Multiperspective Display by Integral Imaging
949
Progress in 3D particle-in-cell modeling of heavy ion beam transport in quadrupole focusing channels
950
Progress in absolute determination of /spl Phi//sub 0/ using superconducting magnetic levitation
951
Progress in absorber R&D 2: windows
952
Progress in accurate frequency transfer by GPS and GEO carrier phase at CNES
953
Progress in acousto-optic filter technology for WDM systems
954
Progress in active fibers
955
Progress in Active Integrated Antennas
956
Progress in active integrated antennas and their applications
957
Progress in active sound control
958
Progress in adapting inverted metamorphic solar cell technology for terrestrial concentrator applications
959
Progress in advanced instrumentation for next-generation aerospace propulsion control systems
960
Progress in advanced metallization technology at Fraunhofer ISE
961
Progress in aeronautic radio research
962
Progress in AI research: Impact of technology strides
963
Progress in aircraft aerials
964
Progress in aircraft aerials
965
Progress in AlGaInP strained layer quantum well semiconductor lasers
966
Progress in Allied Fields to Radio
967
Progress in all-solid-state deep-ultraviolet lasers
968
Progress in Alpha laser characterization-1999
969
Progress in amorphous silicon based multijunction modules
970
Progress in amorphous silicon tandem modules at Energy Photovoltaics, Inc
971
Progress in and Technology of Low-Cost Silver Containing Thick-Film Conductors
972
Progress in anomalous transport research in toroidal magnetic confinement devices
973
Progress in Antenna Coupled Kinetic Inductance Detectors
974
Progress in antennas and propagation for body area networks
975
Progress in antennas and propagation for body area networks
976
Progress in Apollo® technology
977
Progress in applications of electrical engineering to air transportation
978
Progress in Applying HPC to Support Operational Use of CT-Analyst
979
Progress in ArF immersion lithography
980
Progress in ArF single-layer resists
981
Progress in Artificial Intelligence
982
Progress in ATLAS central solenoid magnet
983
Progress in atomic fountains at LNE-SYRTE
984
Progress in automated assembling. Two-day discussion at Nottingham University
985
Progress in automated evaluation of curved surface range image segmentation
986
Progress In Automatic Analysis Of Multi-temporal Remotely-sensed Data
987
Progress in Automatic Data Handling at the Lewis Flight Propulsion Laboratory of the National Advisory Committee for Aeronautics
988
Progress in automatic information retrieval
989
Progress in automatic production
990
Progress in aviation through aircraft engineering and modification
991
Progress in AWG design and technology
992
Progress in battery technology since the first CSULB annual battery conference and prospects for the future
993
Progress in bioethanol production technologies
994
Progress in Biological Applications of PIXE
995
Progress in biosensor and bioelectronics simulations: New applications for TCAD
996
Progress in bismuth-doped silica-based fiber lasers and amplifiers
997
Progress in blue/green laser diodes
998
Progress in boundary element technique of viscous fluid
999
PROGRESS IN BREAST CADx
1000
Progress in British Satellites