Sciweavers

2221 search results - page 238 / 445
» Experiences Building PlanetLab
Sort
View
135
Voted
COOPIS
2002
IEEE
15 years 9 months ago
Empirical Differences between COTS Middleware Scheduling Strategies
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
Christopher D. Gill, Fred Kuhns, Douglas C. Schmid...
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
15 years 9 months ago
Mobile Robot Self-Localization in Large-Scale Environments
— This paper presents a new approach for the absolute self-localization of a mobile robot in structured large-scale environments. The requirements with regard to both, the necess...
Axel Lankenau, Thomas Röfer
148
Voted
IWOMP
2010
Springer
15 years 8 months ago
A ROSE-Based OpenMP 3.0 Research Compiler Supporting Multiple Runtime Libraries
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
Chunhua Liao, Daniel J. Quinlan, Thomas Panas, Bro...
133
Voted
WIKIS
2009
ACM
15 years 8 months ago
Understanding learning: the Wiki way
Learning “the wiki way”, learning through wikis is a form of selfregulated learning that is independent of formal learning settings and takes place in a community of knowledge...
Joachim Kimmerle, Johannes Moskaliuk, Ulrike Cress
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 7 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik