4480 search results - page 395 / 896 » Prototyping Completion with Constraints Using Computational ... |
163
click to vote
ASPDAC
2005
ACM
16 years 9 days ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
206
click to vote
VCBM
2010
15 years 1 months ago
2010
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
212
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
184
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
187
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...