7557 search results - page 111 / 1512 » Modeling Timed Concurrent Systems |
128
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
146
Voted
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
118
Voted
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
102
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
122
Voted
JLP
2007
15 years 2 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...