15 search results - page 2 / 3 » From Specification to Optimisation: An Architecture for Opti... |
IFIP
2010
Springer
12 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
HIPEAC
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
DAC
2000
ACM
13 years 9 months ago
2000
ACM
This paper presents an automated, layout-aware RF LCoscillator design tool, called CYCLONE that delivers an accurate and optimal LC-oscillator design, from specification to layout...
PERCOM
2009
ACM
14 years 5 months ago
2009
ACM
Many missions are deemed dangerous or impractical to perform by humans, but can use collaborating, self-managing Unmanned Autonomous Vehicles (UAVs) which adapt their behaviour to ...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...