6800 search results - page 133 / 1360 » Testing with Functions as Specifications |
HIPEAC
2009
Springer
13 years 12 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...
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
TSE
2010
13 years 2 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
ICSE
1992
IEEE-ACM
14 years 5 days ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...