3844 search results - page 319 / 769 » Modular interpreted systems |
153
click to vote
IJHPCA
2007
15 years 4 months ago
2007
This paper presents a design and implementation of a system that leverages interactive scripting environment to the needs of scientific computing. The system allows seamless tran...
125
click to vote
APAL
2005
15 years 4 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
125
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
138
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
158
Voted
SRDS
1999
IEEE
15 years 9 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...