4397 search results - page 381 / 880 » Relational Algebra Operations |
145
click to vote
UC
2009
Springer
16 years 21 days ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
140
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
173
click to vote
IFM
2007
Springer
16 years 10 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
135
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
160
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...