267 search results - page 4 / 54 » Digital Controller of a Diesel Generator using an Embedded S... |
CHI
2002
ACM
14 years 7 months ago
2002
ACM
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
TVCG
2010
13 years 2 months ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
DIAL
2006
IEEE
13 years 11 months ago
2006
IEEE
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...