2500 search results - page 197 / 500 » Specifying Behavior in C |
122
Voted
RAS
2002
15 years 3 months ago
2002
In this paper, we address the problem of generating trajectories of some image features in order to control efficiently a robotic system using an image-based control strategy. Firs...
144
Voted
MCSS
2008
Springer
15 years 2 months ago
2008
Springer
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...
127
Voted
MANSCI
2010
15 years 2 months ago
2010
Double auction prediction markets have proven successful in large-scale applications such as elections and sporting events. Consequently, several large corporations have adopted t...
139
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
147
Voted
ASPDAC
2011
ACM
14 years 7 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...