3736 search results - page 154 / 748 » Generative Programming |
106
Voted
WSC
1990
15 years 3 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
103
Voted
UAI
2008
15 years 4 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
116
Voted
CPP
2011
14 years 2 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
131
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
—Wireless communications using ad hoc networks are receiving an increasing interest. The most attractive feature of ad hoc networks is the flexibility. The network is set up by ...
113
Voted
IWPSE
2005
IEEE
15 years 8 months ago
2005
IEEE
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...