Sciweavers

46084 search results - page 364 / 9217
» Developments in WIS development
Sort
View
ECOOPW
1998
Springer
15 years 11 months ago
Development and Utilization of Parallel Generic Algorithms for Scientific Computations
We develop generic parallel algorithms as extensible modules that encapsulate related classes and parallel methods. Extensible modules define common parallel structures, such as m...
Atanas Radenski, A. Vann, Boyana Norris
COMPSAC
1997
IEEE
15 years 11 months ago
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
Xiaoping Jia
IPPS
1997
IEEE
15 years 11 months ago
Extensible Message Passing Application Development and Debugging with Python
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
David M. Beazley, Peter S. Lomdahl
KBSE
1997
IEEE
15 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
ICCAD
1996
IEEE
103views Hardware» more  ICCAD 1996»
15 years 11 months ago
Metrics, techniques and recent developments in mixed-signal testing
This paper presents a tutorial on mixed-signal testing. Our focus is on testing the analog portion of the mixed-signal device, as the digital portion is handled in the usual way. ...
Gordon W. Roberts