7961 search results - page 375 / 1593 » Input-Output Model Programs |
131
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
190
click to vote
ICS
1992
Tsinghua U.
15 years 9 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
225
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
169
Voted
CASES
2004
ACM
15 years 8 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
121
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...