Sciweavers

21430 search results - page 70 / 4286
» Abstract Effective Models
Sort
View
BMAS
2000
IEEE
15 years 10 months ago
Combining Models of Physical Effects for Describing Complex Electromechanical Devices
In contrast to classical object-oriented electromechanical modeling, i.e. describing plates, suspensions, drives etc. [4], this paper proposes to combine models of basic physical ...
Lars M. Voßkämper, Rainer Schmid, Georg...
MODELS
2010
Springer
15 years 4 months ago
Transformation-Based Parallelization of Request-Processing Applications
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
Taylor L. Riché, Harrick M. Vin, Don S. Bat...
CASCON
2001
115views Education» more  CASCON 2001»
15 years 7 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
DATE
2009
IEEE
130views Hardware» more  DATE 2009»
16 years 27 days ago
An accurate interconnect thermal model using equivalent transmission line circuit
Abstract—This paper presents an accurate interconnect thermal model for analyzing the temperature distribution of an on-chip interconnect wire. The model addresses the ambient te...
Baohua Wang, Pinaki Mazumder
ER
2009
Springer
166views Database» more  ER 2009»
16 years 22 days ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone