13383 search results - page 2505 / 2677 » Abstractions from proofs |
NOCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract – With the rise of multicore computing, the design of onchip networks (or networks on chip) has become an increasingly important component of computer architecture. The ...
NOCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
ROBOCOMM
2007
IEEE
14 years 4 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
SCAM
2007
IEEE
14 years 4 months ago
2007
IEEE
Clones are code segments that have been created by copying-and-pasting from other code segments. Clones occur often in large software systems. It is reported that 5 to 50% of the ...
ACII
2007
Springer
14 years 4 months ago
2007
Springer
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...