3256 search results - page 537 / 652 » Applications of Formal Methods to System Design and Verifica... |
171
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Updating an operational system is often complex and awkward. In this article, we will explain how the concept of multi-layer interface could facilitate the evolution of operationa...
CSEE
2007
Springer
15 years 4 months ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...