3645 search results - page 579 / 729 » Implementing mapping composition |
145
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
In mobile devices, such as mobile phones and PDAs, an integrated camera can be used to interact with the device in new ways. In this paper we introduce the term mixed interaction ...
135
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
151
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
124
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
184
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Most general-purpose processors provide support for memory pages of large sizes, called superpages. Superpages enable each entry in the translation lookaside buffer (TLB) to map a...