88 search results - page 18 / 18 » Nominal Reasoning Techniques in Coq: (Extended Abstract) |
ICDCS
2000
IEEE
13 years 8 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
ICCD
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
NDQA
2003
13 years 6 months ago
2003
Research on Question Answering has produced an arsenal of useful techniques for detecting answers that are explicitly present in the text of a collection of documents. To move bey...