11017 search results - page 1894 / 2204 » Closure Systems and their Structure |
190
click to vote
SIGCSE
1996
ACM
15 years 11 months ago
1996
ACM
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
250
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
164
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Virtual memoy page translation tables provide mappings from virtual to physical addresses. When the hardware controlled Tratmlation L.ookaside Buffers (TLBs) do not contain a tran...
186
click to vote
TPHOL
1994
IEEE
15 years 11 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
220
Voted
APN
1994
Springer
15 years 11 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...