18429 search results - page 451 / 3686 » Typing dynamic typing |
157
click to vote
EOR
2000
15 years 7 months ago
2000
This paper addresses the problem of scheduling randomly arriving tasks of dierent types at a diversi
219
click to vote
DLOG
2010
15 years 5 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
196
click to vote
WSC
1997
15 years 9 months ago
1997
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
197
click to vote
DSN
2009
IEEE
16 years 2 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
208
click to vote
ESA
1997
Springer
15 years 12 months ago
1997
Springer
In thispaper we introduce a new class of dynamicgraphalgorithmscalledquasi-fully dynamic algorithms,which are much more general than the backtracking algorithmsand are much simple...