14244 search results - page 331 / 2849 » Modeling Program Predictability |
128
Voted
FORTE
2008
15 years 5 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
131
Voted
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
112
Voted
WSC
2004
15 years 5 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
143
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
147
Voted
APN
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...