Sciweavers

1859 search results - page 171 / 372
» Sketch-based path design
Sort
View
DEXAW
2000
IEEE
61views Database» more  DEXAW 2000»
15 years 8 months ago
Paradigma: Agent Implementation through Jini
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
Ronald Ashri, Michael Luck
86
Voted
ASPDAC
2000
ACM
89views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Circuit performance oriented device optimization using BSIM3 pre-silicon model parameters
We propose a circuit performance oriented device optimization methodology using pre-silicon parameters and critical paths which represent the performance of the chip. Based on our...
Mikako Miyama, Shiro Kamohara
DAC
1999
ACM
15 years 8 months ago
IC Analyses Including Extracted Inductance Models
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
Michael W. Beattie, Lawrence T. Pileggi
129
Voted
HPDC
1999
IEEE
15 years 8 months ago
Starfish: Fault-Tolerant Dynamic MPI Programs on Clusters of Workstations
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
Adnan Agbaria, Roy Friedman
114
Voted
RTAS
1998
IEEE
15 years 8 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine