7103 search results - page 309 / 1421 » Program Generation and Components |
142
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
118
Voted
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
131
Voted
MHCI
2007
Springer
15 years 9 months ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
106
click to vote
IFM
2005
Springer
15 years 9 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
162
Voted
AMKM
2003
Springer
15 years 8 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...