6693 search results - page 846 / 1339 » Methods of Automatic Algorithm Generation |
133
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
150
click to vote
ICNP
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
140
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...
137
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
162
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...