Processing of Mars Exploration Rover imagery for science and operations planning

Journal of Geophysical Research Atmospheres, Journal Year: 2006, Volume and Issue: 111(E2)

Published: Feb. 1, 2006

The twin Mars Exploration Rovers (MER) delivered an unprecedented array of image sensors to the surface. These cameras were essential for operations, science, and public engagement. Multimission Image Processing Laboratory (MIPL) at Jet Propulsion was responsible first‐order processing all images returned by these cameras. This included reconstruction original images, systematic ad hoc generation a wide variety products derived from those delivery data customers, within tight time constraints. A combination automated manual processes developed meet requirements, with significant inheritance prior missions. paper describes generated MIPL MER used produce deliver them.

Language: Английский

---

Extending a Tool Integration Language

Published: Aug. 24, 2005

TheMarvel environment supports rule based modeling of software processes Marvel invokes external tools to carry out steps in a process One the major objectives this research is invoke existing without needing modify them This achieved by encapsulating envelopes designed abstract details tool from kernel thereby providing black box interface Initially we used Unix shell language write Due several limitations however abstraction could not be fully supported We describe these and discuss how extended obtain new envelope that c Mark A Gisi Gail E Kaiser version appears First International Conference on Software Process October part National Science Foundation grant CCR grants CDA AT T BNR DEC IBM SRA Xerox New York State Center for Advanced Technology Computer Information Systems NSF Engineering Research Telecommunications Introduction assists users with development stores components their attributes relations an objectbase Unlike most other systems employs Since are expensive develop terms both time cost objective employ modifying achieve encapsulation interactions within The concept was introduced ISTAR Each step represented model activity An may involve building executable running test suite or simply invoking editor s execution often involves invocation one more commercial o shelf COTS To support integration modi cation even access source code views each as it only knows input output re quirements In addition should know nothing about For example suppose want execute compiles C le needs set header include les object location cc compiler parameters When completes returns status indicating e g success failure represents implementation It abstracts Envelopes were initially written which has advantages already exists many reusable utilities available provides means connecting together into di erent useful con gurations However at least two supporting does declaration i There no way declare types incoming outgoing data clean controlled manner return arbitrary number values script can integer via exit command Sometimes desirable information eliminate Rules Tools encapsulated composed three parts condition ects Before its logical expression must satis ed After executes select proper ect asserts some changes state Figure Variable f denotes variable assigned attribute compile class hierarchy de ned gure shows small segment lines search

Language: Английский

---

A comparison of neighborhood search techniques for multi-objective combinatorial problems

Computers & Operations Research, Journal Year: 1996, Volume and Issue: 23(5), P. 465 - 483

Published: May 1, 1996

Language: Английский

---

Automated patching for unreproducible builds

Proceedings of the 44th International Conference on Software Engineering, Journal Year: 2022, Volume and Issue: unknown, P. 200 - 211

Published: May 21, 2022

Software reproducibility plays an essential role in establishing trust between source code and the built artifacts, by comparing compilation outputs acquired from independent users. Although testing for unreproducible builds could be automated, fixing build issues poses a set of challenges within reproducible practice, among which we consider localization granularity historical knowledge utilization as most significant ones. To tackle these challenges, propose novel approach RepFix that combines tracing-based fine-grained with history-based patch generation mechanisms.

Language: Английский

---

Teaching operating systems with ruby

Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, Journal Year: 2007, Volume and Issue: unknown, P. 38 - 42

Published: June 25, 2007

Dynamic languages have regained enormous popularity in recent years. One of the principal dynamic programming languages, Ruby, has been used as language for assignment work and presentation concepts an introductory Operating Systems course. This was a strange choice systems course but there were several good reasons including ease with which Ruby provides access to Unix commands system calls. After some initial problems, change very successful demonstrates that even core courses Computer Science curriculum benefits.

Language: Английский

---

CSPL: a process-centred environment

Information and Software Technology, Journal Year: 1994, Volume and Issue: 36(1), P. 3 - 11

Published: Jan. 1, 1994

Language: Английский

---

Efficient module-level dynamic analysis for dynamic languages with module recontextualization

Published: Aug. 18, 2021

Dynamic program analysis is a long-standing technique for obtaining information about execution. We present module recontextualization, new dynamic approach that targets modern languages such as JavaScript and Racket, enabled by the fact they feature module-import mechanism loads code at runtime string. This uses lightweight load-time transformations operate on string representation of module, well context to which it be bound, insert developer-provided, analysis-specific into before loaded. implements analysis, enabling this capture all interactions around in unmodified production language environments. implement two systems targeting Racket ecosystems. Our evaluation shows can deliver order-of-magnitude performance improvements over state-of-the-art while supporting range analyses, implemented average 100 lines code.

Language: Английский

---

An order-aware dataflow model for parallel Unix pipelines

Proceedings of the ACM on Programming Languages, Journal Year: 2021, Volume and Issue: 5(ICFP), P. 1 - 28

Published: Aug. 19, 2021

We present a dataflow model for modelling parallel Unix shell pipelines. To accurately capture the semantics of complex pipelines, is order-aware, i.e., order in which node graph consumes inputs from different edges plays central role computation and therefore resulting parallelization. use this to transformations that exploit data parallelism available computations prove their correctness. additionally formalize translations back script. implement our as compiler optimization passes system parallelizing it evaluate speedup achieved on 47

Language: Английский

---

Realization of a Method to Control Electrical Appliances through Web Interface

International Journal of Science and Research (IJSR), Journal Year: 2015, Volume and Issue: 4(11), P. 2530 - 2535

Published: Nov. 5, 2015

The technology has been advancing in the area of controlling high power equipment using low flexible techniques such as Infrared Remote, Voice, Bluetooth, Zigbee, so on. This research paper elucidates practical realization one technique -"web interface " to switch ON/OFF any electrical industry/home from part world through a website. Though many methods are already proposed, this project come up with unique hardware design and software code which allows user control maximum 23 loads just module, making it highly efficient economical.

Language: Английский

---

Implementation of DSP lab on a cloud

Published: Feb. 1, 2012

As the current world moves towards e-learning, this paper discusses about a recently developed remote Digital Signal Processing lab at IIT Madras. This enables students to use Blackfin 537 based DSP kits perform their real-time experiments / projects over Internet. The boards are custom made, with uClinux ported onto them, facilitate multi-user environment. delineates motivation, hardware setup, software setup and user access for using laboratry. Finally performance, scope scalability discussed emperical data.

Language: Английский

---