17054 search results - page 3282 / 3411 » Logics of Dynamical Systems |
165
Voted
VEE
2006
ACM
15 years 11 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
158
click to vote
BROADNETS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Ethernet over SONET (EoS) is a popular approach for interconnecting geographically distant Ethernet segments using a SONET transport infrastructure. It typically uses virtual c...
136
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
260
click to vote
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
Broadcasters often reuse video clips while reporting news stories. New clips are added to the story as it develops replacing old clips. A subset of these video clips may be replay...
183
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...