266 search results - page 42 / 54 » Combining Software and Hardware Verification Techniques |
169
click to vote
CHI
2007
ACM
16 years 6 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...
152
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 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...
157
click to vote
UIST
1996
ACM
15 years 10 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...
163
click to vote
LCTRTS
2007
Springer
16 years 3 days 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...
190
click to vote
IUI
2004
ACM
15 years 11 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...