713 search results - page 2 / 143 » Saving Space by Algebraization |
CONCUR
1991
Springer
13 years 8 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
WCE
2007
13 years 6 months ago
2007
— In this paper a new-generation integral motor-drive has been demonstrated. It proposes a compact unit built to operate in arduous industrial environments with optimized power c...
MICRO
2009
IEEE
13 years 12 months ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...
ICDM
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we introduce an algebraic approach to the foundations of data mining. Our approach is based upon two algebras of functions de ned over a common state space X and a ...