Sciweavers

5189 search results - page 188 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
103
Voted
DEXAW
2004
IEEE
88views Database» more  DEXAW 2004»
15 years 4 months ago
A Proposed Architecture to Index Courses on Website and Analyse the Student Follow up
The aim of this article is to help a teacher to evaluate his courses by following the students during the learning phase. We asume that the teacher doesn't use an educational...
Michel Sala, Pierre Pompidor, Danièle H&eac...
FORMATS
2004
Springer
15 years 4 months ago
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
Bruno Dutertre, Maria Sorea
107
Voted
FPGA
2003
ACM
120views FPGA» more  FPGA 2003»
15 years 6 months ago
Architecture evaluation for power-efficient FPGAs
This paper presents a flexible FPGA architecture evaluation framework, named fpgaEVA-LP, for power efficiency analysis of LUT-based FPGA architectures. Our work has several contri...
Fei Li, Deming Chen, Lei He, Jason Cong
106
Voted
CORR
2006
Springer
147views Education» more  CORR 2006»
15 years 23 days ago
Models simulation and interoperability using MDA and HLA
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
Hind El Haouzi
99
Voted
E4MAS
2005
Springer
15 years 6 months ago
An Architecture for MAS Simulation Environments
In this paper we discuss the model of an environment, acting as a first-class entity for MAS Simulation. To illustrate, we use the DIVAs framework’s design and implementation de...
Renee Steiner, Gary Leask, Rym Mili