6274 search results - page 840 / 1255 » Proofs, Programs, Processes |
146
click to vote
ICDM
2008
IEEE
15 years 12 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
151
click to vote
ISVLSI
2008
IEEE
15 years 12 months ago
2008
IEEE
In nanometer regime, the effects of process variations are dominating circuit performance, power and reliability of circuits. Hence, it is important to properly manage variation e...
130
click to vote
ITNG
2008
IEEE
15 years 12 months ago
2008
IEEE
Glycan biosynthesis is the process by which glycans are built in the cells. Information about the process is available from several Web accessible databases, published papers, exp...
140
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
156
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...