1195 search results - page 216 / 239 » Modeling an Algebraic Stepper |
122
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
115
Voted
IWCC
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we present techniques and algorithms to improve the performance of various communication patterns on message-passing platforms where, for reasons of safety, user-le...
112
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
119
Voted
STOC
1998
ACM
15 years 6 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
132
click to vote
HYBRID
1997
Springer
15 years 6 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...