266 search results - page 42 / 54 » Combining Software and Hardware Verification Techniques |
113
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
114
Voted
IEEEINTERACT
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...
119
click to vote
UIST
1996
ACM
15 years 6 months ago
1996
ACM
FOCUS, the Feature-Oriented Catalog USer interface, is an interactive table viewer for a common kind of table, namely the object-attribute table, also called cases-by-attribute ta...
117
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
143
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...