Sciweavers

15974 search results - page 3005 / 3195
» Object-Oriented Software Engineering
Sort
View
119
Voted
HPCN
1995
Springer
15 years 7 months ago
Exploiting high performance Fortran for computational fluid dynamics
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
Kenneth A. Hawick, Geoffrey Fox
103
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
Polygon-assisted JPEG and MPEG compression of synthetic images
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
Marc Levoy
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
126
Voted
VLDB
1991
ACM
147views Database» more  VLDB 1991»
15 years 7 months ago
Object Placement in Parallel Hypermedia Systems
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
Shahram Ghandeharizadeh, Luis Ramos, Zubair Asad, ...
142
Voted
ASM
2010
ASM
15 years 7 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
« Prev « First page 3005 / 3195 Last » Next »