4350 search results - page 793 / 870 » Case studies for contract-based systems |
ICRA
1994
IEEE
14 years 26 days 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...
HOTOS
2007
IEEE
14 years 19 days 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 ...
ICASSP
2009
IEEE
14 years 18 days 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...
CC
2006
Springer
14 years 14 days 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 ...
CIKM
2006
Springer
14 years 14 days 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...