308 search results - page 54 / 62 » Symbolic execution of data paths |
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
ISCA
2008
IEEE
14 years 4 months ago
2008
IEEE
Architectures that exploit control independence (CI) promise to remove in-order fetch bottlenecks, like branch mispredicts, instruction-cache misses and fetch unit stalls, from th...
HPCC
2007
Springer
14 years 4 months ago
2007
Springer
Application-layer multicast (ALM) can solve most of the problems of IP-based multicast. Topology-aware approach of ALM is more attractive because it exploits underlying network top...
EEE
2005
IEEE
14 years 3 months ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...