Sciweavers

1524 search results - page 166 / 305
» The Bandwidth Exchange Architecture
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
ICMCS
2008
IEEE
439views Multimedia» more  ICMCS 2008»
16 years 24 days ago
Framework for virtual collaboration emphasized by awareness information and asynchronous interaction
In this paper, we propose a framework which allows remote users to form conversation groups based on spatial relationship in a shared virtual space. Our proposed framework can tra...
Tomo Matsuda, Naoki Shibata, Keiichi Yasumoto, Min...
CONCUR
2012
Springer
13 years 8 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
SOSP
2001
ACM
16 years 3 months ago
Building a Robust Software-Based Router Using Network Processors
Recent efforts to add new services to the Internet have increased interest in software-based routers that are easy to extend and evolve. This paper describes our experiences using...
Tammo Spalink, Scott Karlin, Larry L. Peterson, Yi...
CGO
2009
IEEE
16 years 1 months ago
Software Pipelined Execution of Stream Programs on GPUs
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
Abhishek Udupa, R. Govindarajan, Matthew J. Thazhu...