9931 search results - page 318 / 1987 » Generative Modeling by PRISM |
163
click to vote
JOT
2008
15 years 5 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
185
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
165
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Generating a shared key between two parties from the wireless channel is of increasing interest. The procedure for obtaining information from wireless channel is called channel ...
277
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
In this demo we present the cgmOLAP server, the first fully functional parallel OLAP system able to build data cubes at a rate of more than 1 Terabyte per hour. cgmOLAP incorporat...
134
Voted
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...