991 search results - page 95 / 199 » MetaCore: An Application Specific DSP Development System |
135
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
137
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
153
click to vote
ADG
2006
Springer
15 years 8 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
147
Voted
AICOM
2005
15 years 4 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
170
click to vote
JMM2
2006
15 years 4 months ago
2006
Augmented Reality (AR) technologies open up new possibilities especially for task-focused domains such as assembly and maintenance. However, it can be noticed that there is still a...