4350 search results - page 793 / 870 » Case studies for contract-based systems |
147
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
While most previous work in planning manipulation tasks relies on the assumption of quasi-static conditions, there can be situations where the quasi-static assumption may not hold...
151
click to vote
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
152
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Optimized opportunistic multicast scheduling (OMS) has been studied previously by the authors for homogeneous cellular networks, where the problem of efficiently transmitting a co...
145
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
137
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Several information organization, access, and filtering systems can benefit from different kind of document representations than those used in traditional Information Retrieval (I...