Sciweavers

5744 search results - page 523 / 1149
» System level design, a VHDL based approach
Sort
View
CHI
1994
ACM
15 years 11 months ago
Interactive graphic design using automatic presentation knowledge
We present three novel tools for creating data graphics: (1) SageBrush, for assembling graphics from primitive objects like bars, lines and axes, (2) SageBook, for browsing previo...
Steven F. Roth, John Kolojejchick, Joe Mattis, Jad...
IWDC
2001
Springer
115views Communications» more  IWDC 2001»
15 years 12 months ago
Pricing-Based Control of Large Networks
— In this paper we show that significant simplicity can be exploited for pricing-based control of large networks. We first consider a general loss network with Poisson arrivals...
Xiaojun Lin, Ness B. Shroff
DSN
2004
IEEE
15 years 11 months ago
Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
Panagiotis Katsaros, Constantine Lazos
TLT
2008
77views more  TLT 2008»
15 years 7 months ago
The Scalable Adapter Design Pattern: Enabling Interoperability Between Educational Software Tools
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
Andreas Harrer, Niels Pinkwart, Bruce M. McLaren, ...
FROCOS
2000
Springer
15 years 11 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge