Software

About: Software is a research topic. Over the lifetime, 130577 publications have been published within this topic receiving 2028987 citations. The topic is also known as: computer software & computational tool.

Self-adaptive software needs quantitative verification at runtime

Abstract: Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.

Hardware/Software Codesign: The Past, the Present, and Predicting the Future

Abstract: Hardware/software codesign investigates the concurrent design of hardware and software components of complex electronic systems. It tries to exploit the synergy of hardware and software with the goal to optimize and/or satisfy design constraints such as cost, performance, and power of the final product. At the same time, it targets to reduce the time-to-market frame considerably. This paper presents major achievements of two decades of research on methods and tools for hardware/software codesign by starting with a historical survey of its roots, by highlighting its major research directions and achievements until today, and finally, by predicting in which direction research in codesign might evolve in the decades to come.

Software defined radio : enabling technologies

Abstract: Part I: Software Based Radio (Blust) Part II: Front End Technology Radio Frequency Translation for Software Defined Radio (Beach, Warr & McLeod) Radio Freqency Front End Implementations for Multimode SDRs (Cummings) Data Conversion in Software Defined Radios (Brannon et al) Superconductor Microelectronics: A Digital RF Technology for Software Radios (Brock) The Digital Front End: Bridge Between RF and Baseband Processing (Fettweis and Hentschel) Part III: Baseband Technology Baseband Processing for SDR (Lund) Parametrization - a Technique for SDR Implementation (Jondral) Adaptive Computing IC Technology for 3G Software-Defined Mobile Devices (Master and Plunkett) Part IV: Software Technology Software Engineering for Software Radios: Experiences at MIT and Vanu, Inc (Chaplin) Software Download for Mobile Terminals (Bucknell and Pitchers) Protocols and Network Aspects of SDR Moessner) The Waveform Description Language (Willink) Index

Engineering a software tool for gene structure prediction in higher organisms

Abstract: The research area now commonly called 'bioinformatics' has brought together biologists, computer scientists, statisticians, and scientists of many other fields of expertise to work on computational solutions to biological problems. A large number of algorithms and software packages are freely available for many specific tasks, such as sequence alignment, molecular phylogeny reconstruction, or protein structure determination. Rapidly changing needs and demands on data handling capacity challenge the application providers to consistently keep pace. In practice, this has led to many incremental advances and re-writing of code that present the user community with confusing options and a large overhead from non-standardized implementations that need to be integrated into existing work flows. This situation gives much scope for contributions by software engineers. In this article, we describe an example of engineering a software tool for a specific bioinformatics task known as spliced alignment. The problem was motivated by disabling limitations in an original, ad hoc, and yet widely popular implementation by one of the authors. The present collaboration has led to a robust, highly versatile, and extensible tool (named GenomeThreader) that not only overcomes the limitations of the earlier implementation but greatly improves space and time requirements.

Unified real-time microprocessor computer

Abstract: A multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new software parallel redundancy cosmos robotizing unified real-time microprocessor machine language computer whose universal dominion domain outline involves automatizing real-time holistically steady state synchronized ubiquitous continuum sub-loculated cyclical parallel redundancy cosmos robotizing unified real-time microprocessor computer logic instructions of multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new end-user graphical human apostrophe interface syntactic synthesis real-time software programs block; multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new algebraic problem-solving application syntactic synthesis real-time software programs block; multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new robotizing gauge indicating guidance syntactic synthesis real-time software programs block; multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new commerce and transactional exchange methodology syntactic synthesis real-time software programs block; multiport revolving chambered homing binary hunting metallic track encasing hermetic data link caster dart castings constrained new commerce and trade languages combinatorial syntactic synthesis real-time software programs block; a complete real-time microprocessor logic instructing compact integrated originating real-time software generator AND-OR closed-circuitry microprocessor operating system block concretizing rubric identic automatizing real-time holistically steady state synchronized ubiquitous continuum universal executive microprogrammable systematic codified microprocessor machine language logic operator instructions of one-time programmable read-only memory (PROM); a multiport revolving chambered homing binary hunting metallic track encasing hardcore software accumulator controlling central processing unit (CPU).