2940 search results - page 262 / 588 » Relational Parametricity and Control |
187
click to vote
CSMR
2006
IEEE
16 years 22 days ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
177
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
The paper presents a new distributed metaheuristic algorithm in an optimal control problem related to the cooling process in the continuous casting of steel. The optimization task...
178
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
108
click to vote
MHCI
2004
Springer
16 years 23 hour ago
2004
Springer
In this paper we describe a study that examines human performance in a tilt control targeting task on a PDA. A three-degree of freedom accelerometer attached to the base of the PDA...
156
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present several locking synchronization protocols and associated schedulability conditions for Pfair-scheduled multiprocessor systems. We focus on two classes of protocols. The...