1471 search results - page 83 / 295 » Church: a language for generative models |
151
click to vote
ECOOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
180
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
187
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
200
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
153
click to vote
AMW
2010
15 years 7 months ago
2010
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...