1593 search results - page 235 / 319 » A visual programming system for automated problem solving |
122
Voted
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...
159
click to vote
JAIR
2008
15 years 3 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...
140
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Increasing integrated circuit (IC) power densities and temperatures may hamper multiprocessor system-on-chip (MPSoC) use in hard real-time systems. This article formalizes the t...
147
Voted
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
128
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...