4498 search results - page 323 / 900 » How to Invent Functions |
159
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
153
click to vote
MINENET
2006
ACM
15 years 11 months ago
2006
ACM
Recent research has proposed efficient protocols for distributed triggers, which can be used in monitoring infrastructures to maintain system-wide invariants and detect abnormal ...
138
click to vote
NCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent hardware advances are creating multi-core systems with heterogeneous functionality. This paper explores how applications and middleware can utilize systems comprised of pro...
144
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
145
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
The main functionality of the Domain Name System (DNS) is to translate symbolic names into IP addresses. Due to the criticality of DNS for the proper functioning of the Internet, ...