548 search results - page 62 / 110 » Adding Real Time to Formal Program Development |
101
click to vote
IJAIT
2008
14 years 12 months ago
2008
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
112
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
103
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
112
click to vote
ENVSOFT
2006
14 years 12 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
WSC
2008
2008
Optimizing staffing schedule in light of patient satisfaction for the whole outpatient hospital ward
15 years 2 months ago
The waiting time for patients in outpatient departments of hospitals is a problem throughout the world. In this context, a discrete-event-simulation model was developed to examine...