Sciweavers

7971 search results - page 391 / 1595
» On unbounded operators and applications
Sort
View
ITC
1997
IEEE
80views Hardware» more  ITC 1997»
15 years 11 months ago
Scan Synthesis for One-Hot Signals
Tri-state buses and pass transistor logic are used in many complex applications to achieve high performance and small area. Such circuits often contain logic requiring one-hot sig...
Subhasish Mitra, LaNae J. Avra, Edward J. McCluske...
EUROSYS
2006
ACM
15 years 10 months ago
TCP offload through connection handoff
This paper presents a connection handoff interface between the operating system and the network interface. Using this interface, the operating system can offload a subset of TCP c...
Hyong-youb Kim, Scott Rixner
CSL
2008
Springer
15 years 8 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
DOCENG
2008
ACM
15 years 8 months ago
Merging changes in XML documents using reliable context fingerprints
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
Sebastian Rönnau, Christian Pauli, Uwe M. Bor...
ACISICIS
2010
IEEE
15 years 8 months ago
One-Finger Interaction for Ubiquitous Environment
We propose new interaction techniques named "One-finger Interaction" in the ubiquitous environment in a home. One-finger Interaction is an interaction technique for doing...
Takashi Nakamura, Shin Takahashi, Jiro Tanaka