3827 search results - page 357 / 766 » The Epsilon Generation Language |
186
click to vote
JFP
2002
15 years 6 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
179
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present an XML-based simulation authoring environment. The proposed description language allows to describe mathematical objects such as systems of ordinary differential equat...
223
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
208
click to vote
ASUNAM
2009
IEEE
15 years 4 months ago
2009
IEEE
With hundreds of millions of users already today, virtual worlds will become an important factor in tomorrow's media landscape. In a virtual world, users are represented by s...