4880 search results - page 835 / 976 » Manuals as Structured Programs |
169
click to vote
ASPDAC
2005
ACM
16 years 1 days ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
140
click to vote
EMSOFT
2005
Springer
16 years 13 hour ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
172
click to vote
FCT
2005
Springer
16 years 10 hour ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
181
click to vote
ICALP
2005
Springer
16 years 4 hour ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
178
click to vote
ICTAC
2005
Springer
15 years 12 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...