113 search results - page 14 / 23 » Reduction Strategies for Left-Linear Term Rewriting Systems |
105
click to vote
ICCAD
2002
IEEE
15 years 5 months ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
121
Voted
PETRA
2010
ACM
15 years 4 months ago
2010
ACM
We present a mobile platform for body sensor networking based on a smartphone for lightweight signal processing of sensor mote data. The platform allows for local processing of da...
117
click to vote
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
Disk power management is becoming increasingly important in high-end server and cluster type of environments that execute dataintensive applications. While hardware-only approache...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
175
click to vote
VLDB
2007
ACM
16 years 18 days ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...