Sciweavers

2813 search results - page 289 / 563
» Formalizing Architectural Connection
Sort
View
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
16 years 8 days ago
A New System Design Methodology for Wire Pipelined SoC
Wire Pipelining (WP) has been proposed in order to limit the impact of increasing wire delays. In general, the added pipeline elements alters the system such that architectural ch...
Mario R. Casu, Luca Macchiarulo
MEMOCODE
2003
IEEE
15 years 12 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
CAISE
2003
Springer
15 years 12 months ago
Leveraging Web-Services and Peer-to-Peer Networks
Abstract. Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the ...
Mike P. Papazoglou, Bernd J. Krämer, Jian Yan...
IEEEPACT
2000
IEEE
15 years 11 months ago
Fine Grained Multithreading with Process Calculi
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
Luís M. B. Lopes, Fernando M. A. Silva, Vas...
ICDE
2007
IEEE
108views Database» more  ICDE 2007»
15 years 10 months ago
Problem definition for effective workload management
The paper introduces the problem of designing dynamic workload management (WM) tools that are aware of the diversity of classes of users and their diverse access patterns. Our app...
Adrian M. Teisanu, Sam Lightstone, Mariano P. Cons...