Sciweavers

8099 search results - page 501 / 1620
» Higher-Order Task Models
Sort
View
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 1 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
SASO
2007
IEEE
16 years 1 months ago
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
Heiko Hamann, Heinz Wörn
CODES
2006
IEEE
16 years 1 months ago
Automatic generation of transaction level models for rapid design space exploration
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
Dongwan Shin, Andreas Gerstlauer, Junyu Peng, Rain...
LCN
2005
IEEE
16 years 16 days ago
Modelling of SACK TCP and application to the HTTP File Transfer Environment
It is known that analytic modelling for TCP latency is a non trivial task. Recently, some significant progress has been made, such as the comprehensive result by Sikdar et al. Ho...
Damien Phillips, Jiankun Hu
AIED
2005
Springer
16 years 15 days ago
Engagement tracing: using response times to model student disengagement
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
Joseph E. Beck