10870 search results - page 1986 / 2174 » Model Checking Programs |
102
Voted
ICPPW
2006
IEEE
15 years 7 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
109
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
127
Voted
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
Since the 9/11 terrorist attacks, the effective and efficient protection of critical information infrastructures has become an even more important issue. To enhance network surviv...
120
click to vote
IEEECIT
2006
IEEE
15 years 7 months ago
2006
IEEE
In the framework of GridRPC, a new function that allows direct data transfer between RPC servers is implemented for efficient execution of a Task Sequencing job in a grid environ...