Sciweavers

2421 search results - page 87 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ICCAD
2001
IEEE
102views Hardware» more  ICCAD 2001»
16 years 12 days ago
Simulation-Based Automatic Generation of Signomial and Posynomial Performance Models for Analog Integrated Circuit Sizing
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...
118
Voted
BTW
2003
Springer
107views Database» more  BTW 2003»
15 years 8 months ago
Catalog Integration Made Easy
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...
Pedro José Marrón, Georg Lausen, Mar...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 2 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
111
Voted
MR
2002
63views Robotics» more  MR 2002»
15 years 3 months ago
Transient thermal analysis of multilayered structures using Green's functions
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...
Marcin Janicki, Gilbert De Mey, Andrzej Napieralsk...
86
Voted
HICSS
2007
IEEE
104views Biometrics» more  HICSS 2007»
15 years 9 months ago
An Assessment Framework for Discovering and Using Patterns in Virtual Project Management
Virtual project management in global organizations is both challenging and important. Being able to identify and apply best practices is an essential skill, as is an understanding...
Deepak Khazanchi, Ilze Zigurs