Sciweavers

1487 search results - page 83 / 298
» Two Kinds of Metonymy
Sort
View
ISCAS
2006
IEEE
99views Hardware» more  ISCAS 2006»
14 years 1 months ago
MIMO interconnects order reductions by using the global Arnoldi algorithm
— We propose the global Arnoldi algorithm for MIMO RLCG interconnect model order reductions. This algorithm is an extension of the standard Arnoldi algorithm for systems with mul...
Ming-Hong Lai, Chia-Chi Chu, Wu-Shiung Feng
SEFM
2006
IEEE
14 years 1 months ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi
SOSE
2006
IEEE
14 years 1 months ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...
SUTC
2006
IEEE
14 years 1 months ago
Transitive Nearest Neighbor Search in Mobile Environments
Given a query point p, typically the position of a current client, and two datasets S and R, a transitive nearest neighbor (TNN) search returns a pair of objects (s, r) ∈ S × R...
Baihua Zheng, Ken C. K. Lee, Wang-Chien Lee
VALUETOOLS
2006
ACM
236views Hardware» more  VALUETOOLS 2006»
14 years 1 months ago
The DISCO network calculator: a toolbox for worst case analysis
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
Jens B. Schmitt, Frank A. Zdarsky