9626 search results - page 1312 / 1926 » Invariant Based Programming |
176
click to vote
ENTCS
2002
15 years 7 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
198
click to vote
EOR
2002
15 years 7 months ago
2002
Within data envelopment analysis (DEA) is a sub-group of papers in which many researchers have sought to improve the differential capabilities of DEA and to fully rank both effici...
179
click to vote
JILP
2000
15 years 7 months ago
2000
How much do two profiles of the same program differ? When has a profile changed enough to warrant reexamination of the profiled program? And how should two or more profiles be com...
169
click to vote
SOPR
1998
15 years 6 months ago
1998
One of the more important steps in starting a process improvement initiative is to determine the appropriate tasking and the scope of the process improvement program. There is gre...
190
click to vote
TCAD
1998
15 years 6 months ago
1998
— Conventional methods for optimal sizing of wires and transistors use linear resistor-capacitor (RC) circuit models and the Elmore delay as a measure of signal delay. If the RC ...