9110 search results - page 360 / 1822 » Formally-Based Design Evaluation |
175
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
156
click to vote
WSC
2008
15 years 9 months ago
2008
We develop a logistics and transportation simulation that can be used to provide insights into potential outcomes of proposed military deployment plans. More specifically, we mode...
162
click to vote
FAST
2003
15 years 8 months ago
2003
Allowing higher-priority requests to preempt ongoing disk IOs is of particular benefit to delay-sensitive multimedia and real-time systems. In this paper we propose Semi-preempti...
156
click to vote
ECTEL
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we describe a social learning game we implemented to evaluate various means of ubiquitous learning support. Making use of game design patterns it was possible to impl...
176
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Given the great amount of data that are generated of the experiments to analyze information of extracted chemical fluids of the brain of a rodent, arises the necessity to design an...