Sciweavers

5615 search results - page 489 / 1123
» Active Learner Modelling
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari
ICMCS
2006
IEEE
175views Multimedia» more  ICMCS 2006»
16 years 28 days ago
Bringing the Wiki Collaboration Model to the Tabletop World
We present an interactive workspace that integrates wiki collaboration in knowledge-building activities with face-to-face scenarios like brainstorming or problem solving sessions....
Stefano Baraldi, Alberto Del Bimbo, Alessandro Val...
RTSS
2002
IEEE
15 years 11 months ago
Scheduling Aperiodic Requests under the Rate-Based Execution Model
Aperiodic requests with unknown execution times and unknown arrival patterns are dynamically mapped to ratebased execution (RBE) tasks with variable rates and scheduled such that ...
Steve Goddard, Xin Liu
DAC
1999
ACM
15 years 11 months ago
ENOR: Model Order Reduction of RLC Circuits Using Nodal Equations for Efficient Factorization
ENOR is an innovative way to produce provablypassive, reciprocal, and compact representations of RLC circuits. Beginning with the nodal equations, ENOR formulates recurrence relat...
Bernard N. Sheehan
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...