5754 search results - page 567 / 1151 » Multi-class Model M |
124
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we describe an implementation and modeling of a novel fatigue monitoring sensor based on integration of piezoelectric transduction with floating gate avalanche in...
182
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Design and analysis guidelines for resonant interconnect networks are presented in this paper. The methodology focuses on developing an accurate analytic distributed model of t...
190
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
234
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
191
click to vote
ECSA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....