11653 search results - page 1982 / 2331 » The Development of the C Language |
185
Voted
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
183
Voted
PADS
2003
ACM
16 years 1 days ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
187
Voted
PPOPP
2003
ACM
16 years 1 days ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
201
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...
188
click to vote
ADC
2003
Springer
16 years 1 days ago
2003
Springer
The mining of informative rules calls for methods that include different attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...