5273 search results - page 302 / 1055 » Improving quality together |
193
click to vote
ISMVL
2010
IEEE
16 years 12 days ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
179
click to vote
LCN
2002
IEEE
16 years 6 days ago
2002
IEEE
Several attempts have been made to assess the performance of TCP over wireless networks and several solutions have been proposed to improve its performance. Even though many diffe...
198
click to vote
RTAS
2002
IEEE
16 years 6 days ago
2002
IEEE
Delay variations (jitter) in computations and communications cause degradation of performance in control applications. There are many sources of jitter, including variations in ex...
204
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
162
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...