Sciweavers

4842 search results - page 2 / 969
» A Calculus for Data Mapping
Sort
View
SIGMETRICS
2006
ACM
102views Hardware» more  SIGMETRICS 2006»
13 years 11 months ago
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
Markus Fidler, Jens B. Schmitt
POPL
1998
ACM
13 years 9 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
FUIN
2007
100views more  FUIN 2007»
13 years 5 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
DM
2008
107views more  DM 2008»
13 years 3 months ago
Set maps, umbral calculus, and the chromatic polynomial
Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying pS(x + y) = TU=S pT (x)pU (y). Using umbral calculus, we give a formula for t...
Gus Wiseman
CORR
2009
Springer
74views Education» more  CORR 2009»
13 years 3 months ago
A Process Calculus for Molecular Interaction Maps
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...