Sciweavers

7961 search results - page 40 / 1593
» Input-Output Model Programs
Sort
View
93
Voted
KI
2007
Springer
15 years 8 months ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki
79
Voted
ANSS
1998
IEEE
15 years 6 months ago
Structured Parallel Simulation Modeling and Programming
Yong Meng Teo, Seng Chuan Tay, Siew Theng Kong
MODELS
2010
Springer
15 years 20 days ago
A Unified Approach to Modeling and Programming
Ole Lehrmann Madsen, Birger Møller-Pedersen
PADL
2004
Springer
15 years 7 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 6 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard