551 search results - page 88 / 111 » Realizability of Real-Time Logics |
DAGSTUHL
2001
13 years 8 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
INFORMATICALT
2010
13 years 4 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
ARITH
2009
IEEE
14 years 2 months ago
2009
IEEE
Moduli of the form 2n ± 1, which greatly simplify certain arithmetic operations in residue number systems (RNS), have been of longstanding interest. A steady stream of designs fo...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Reliability is critical to a variety of network applications. Unfortunately, due to lack of QoS support across ISP boundaries, it is difficult to achieve even two 9s (...