Sciweavers

3432 search results - page 244 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
CSCWD
2009
Springer
16 years 1 months ago
Collaborative technologies in international distance education
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
Richard J. Anderson, Ruth E. Anderson, Natalie Lin...
OSDI
2002
ACM
16 years 7 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
ICPP
2009
IEEE
16 years 1 months ago
Speeding Up Distributed MapReduce Applications Using Hardware Accelerators
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...
Yolanda Becerra, Vicenç Beltran, David Carr...
PPSN
2010
Springer
15 years 5 months ago
Feature Selection for Multi-purpose Predictive Models: A Many-Objective Task
The target of machine learning is a predictive model that performs well on unseen data. Often, such a model has multiple intended uses, related to different points in the tradeoff ...
Alan P. Reynolds, David W. Corne, Michael J. Chant...
SIGSOFT
2003
ACM
16 years 8 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee