Sciweavers

158 search results - page 9 / 32
» An Approach to Advanced Data Synchronization in Complex Proc...
Sort
View
ICST
2010
IEEE
15 years 1 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
AIED
2005
Springer
15 years 8 months ago
EarthTutor: A Multi-Layered Approach to ITS Authoring
This paper presents the EarthTutor authoring tool, a multi-layered system designed to remove the technical hurdles preventing teachers from having full control over the structure o...
Kristen Parton, Aaron Bell, Sowmya Ramachandran
158
Voted
IADT
1998
146views more  IADT 1998»
15 years 4 months ago
An Open Architecture for Adaptive Workflow Management Systems
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
Reiner Siebert
AHS
2007
IEEE
211views Hardware» more  AHS 2007»
15 years 6 months ago
Synthesis of Multimode digital signal processing systems
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
Caaliph Andriamisaina, Emmanuel Casseau, Philippe ...
137
Voted
DAC
1997
ACM
15 years 6 months ago
System Level Fixed-Point Design Based on an Interpolative Approach
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
Markus Willems, Volker Bürsgens, Holger Kedin...