Sciweavers

2374 search results - page 348 / 475
» The language of machines
Sort
View
SIES
2008
IEEE
14 years 5 months ago
Scalably distributed SystemC simulation for embedded applications
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
Kai Huang, Iuliana Bacivarov, Fabian Hugelshofer, ...
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
14 years 5 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
AIED
2007
Springer
14 years 4 months ago
Learning Tutorial Rules Using Classification Based On Associations
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...
Xin Lu, Barbara Di Eugenio, Stellan Ohlsson
B
2007
Springer
14 years 4 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
ECTEL
2007
Springer
14 years 4 months ago
Community Tools for Repurposing Learning Objects
A critical success factor for the reuse of learning objects is the ease by which they may be repurposed in order to enable reusability in a different teaching context from which th...
Chu Wang, Kate Dickens, Hugh C. Davis, Gary Wills