9626 search results - page 1369 / 1926 » Invariant Based Programming |
196
click to vote
ICMCS
2005
IEEE
16 years 21 days ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
229
click to vote
ICPADS
2005
IEEE
16 years 21 days ago
2005
IEEE
Low energy consumptions are extremely important in real-time embedded systems, and scheduling is one of the techniques used to obtain lower energy consumptions. In this paper, we ...
226
click to vote
ICRA
2005
IEEE
16 years 21 days ago
2005
IEEE
- We previously proposed a new 3D form display actuated by shape memory alloy (SMA), which is capable of displaying large scale objects sequentially. Based on our devised method, o...
193
click to vote
ISIPTA
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper discusses decision making in the practically important situation where only partial prior information on the stochastic behavior of the states of nature expressed by im...
173
click to vote
LICS
2005
IEEE
16 years 20 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...