Sciweavers

164 search results - page 3 / 33
» Fairness for Chorded Languages
Sort
View
ASPLOS
2010
ACM
13 years 9 months ago
Fairness via source throttling: a configurable and high-performance fairness substrate for multi-core memory systems
Cores in a chip-multiprocessor (CMP) system share multiple hardware resources in the memory subsystem. If resource sharing is unfair, some applications can be delayed significantl...
Eiman Ebrahimi, Chang Joo Lee, Onur Mutlu, Yale N....
ICALP
1994
Springer
13 years 10 months ago
Equivalences for Fair Kripke Structures
Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...
ADT
2010
13 years 5 months ago
Fair data collection in wireless sensor networks: analysis and protocol
Md. Abdul Hamid, Muhammad Mahbub Alam, Md. Sharifu...
POPL
2009
ACM
14 years 6 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
FMOODS
2007
13 years 7 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni