3618 search results - page 251 / 724 » Additive functions for number systems in function fields |
146
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
125
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
143
Voted
FPGA
1995
ACM
15 years 8 months ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...
117
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
134
click to vote
IJCAI
1989
15 years 6 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...