674 search results - page 46 / 135 » From Constructibility and Absoluteness to Computability and ... |
CASCON
1997
15 years 3 months ago
1997
The explosion in the amount of free text materials on the Internet, and the use of this information by people from all walks of life, has made the issue of generalized information...
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...
APN
2001
Springer
15 years 6 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
111
click to vote
APN
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
111
Voted
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...