Sciweavers

9006 search results - page 1296 / 1802
» Modeling Software
Sort
View
SOSYM
2011
15 years 2 months ago
Exploring inconsistencies between modal transition systems
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
Mathieu Sassolas, Marsha Chechik, Sebastián...
159
Voted
TCAD
2010
94views more  TCAD 2010»
15 years 1 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
TCAD
2010
112views more  TCAD 2010»
15 years 1 months ago
Multilayer Global Routing With Via and Wire Capacity Considerations
Global routing for modern large-scale circuit designs has attracted much attention in the recent literature. Most of the state-of-the-art academic global routers just work on a sim...
Chin-Hsiung Hsu, Huang-Yu Chen, Yao-Wen Chang
AIME
2007
Springer
16 years 1 months ago
Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
SPE
2002
141views more  SPE 2002»
15 years 6 months ago
Data collection and restoration for heterogeneous process migration
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
Kasidit Chanchio, Xian-He Sun
« Prev « First page 1296 / 1802 Last » Next »