Sciweavers

4074 search results - page 428 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
WSC
2008
15 years 9 months ago
Calculating float in linear schedules with singularity functions
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...
Gunnar Lucko, Angel A. Pena Orozco
LWA
2007
15 years 8 months ago
Taking the Teacher's Perspective for User Modeling in Complex Domains
Serious games that should adapt training to the individual might benefit from methods that are developed for intelligent tutoring systems. One method, model tracing, might be used...
Christian P. Janssen, Hedderik van Rijn
ECMDAFA
2010
Springer
238views Hardware» more  ECMDAFA 2010»
15 years 11 months ago
eSPEM - A SPEM Extension for Enactable Behavior Modeling
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Ma...
ASPDAC
1998
ACM
97views Hardware» more  ASPDAC 1998»
15 years 11 months ago
A Novel Design Assistant for Analog Circuits
 This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...
Markus Wolf, Ulrich Kleine, Frédéric...