10870 search results - page 1748 / 2174 » Model Checking Programs |
191
click to vote
CAD
1999
Springer
15 years 6 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
212
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...
164
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...
180
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 ...
175
click to vote
SIAMDM
2002
15 years 6 months ago
2002
We present a new class of randomized approximation algorithms for unrelated parallel machine scheduling problems with the average weighted completion time objective. The key idea i...