2470 search results - page 432 / 494 » Liveness-Preserving Simulation Relations |
MICRO
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...
MSOM
2010
13 years 8 months ago
2010
Wave-based release policies are prevalent in warehouses with an automated sorter, and take different forms depending on how much waves overlap and whether the sorter is split for...
RTAS
2010
IEEE
13 years 8 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
SCP
2010
13 years 8 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
SUTC
2010
IEEE
13 years 8 months ago
2010
IEEE
We consider a team of mobile agents where a leader has to monitor battery levels of all other agents. Only the leader is capable to transmit information to other agents. Every now...