10899 search results - page 581 / 2180 » The GP Programming System |
199
click to vote
DSL
2009
15 years 5 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
231
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
299
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
205
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
183
click to vote
LPAR
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...