9110 search results - page 1421 / 1822 » Formally-Based Design Evaluation |
171
click to vote
SIGMETRICS
1991
ACM
15 years 10 months ago
1991
ACM
Prior to this work, all implementations of stack simulation [MGS70] required more than linear time to process an address trace. In particular these implementations are often slow ...
171
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—We propose PRoPHET+, a routing scheme for opportunistic networks designed to maximize successful data delivery rate and minimize transmission delay. PRoPHET+ computes a ...
174
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We propose Push-and-Pull Switching, a window switching technique using window overlapping to implicitly define groups. Push-and-Pull Switching enables switching between groups and...
223
click to vote
APPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a simulator for of a decentralized modular grid scheduler named MaGate. MaGate’s design emphasizes scheduler interoperability by providing intellige...
183
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
One claim of Technology-Enhanced Learning (TEL) is to support and exploit benefits from distance learning and remote collaboration. On the other hand, several approaches to learnin...