17298 search results - page 3337 / 3460 » Abstract computing machines |
172
click to vote
ICNP
2009
IEEE
15 years 8 days ago
2009
IEEE
Abstract--IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast s...
116
click to vote
ICRA
2009
IEEE
15 years 8 days ago
2009
IEEE
Abstract-- This paper presents a framework for generating time-optimal velocity profiles for a group of pathconstrained vehicle robots that have fixed and known initial and goal lo...
158
Voted
IEEEPACT
2009
IEEE
15 years 8 days ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
106
Voted
IEPOL
2010
14 years 12 months ago
2010
ABSTRACT Digital computer networks represent a disruptive technology, with the potential to create or destroy economic value in established industries. These opportunities and chal...
118
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...