Sciweavers

775 search results - page 77 / 155
» Interface Design Techniques for Single-Chip Systems
Sort
View
CHI
2007
ACM
14 years 8 months ago
Supporting multi-point interaction in visual workspaces
Multi-point interaction tasks involve the manipulation of several mutually-dependent control points in a visual workspace ? for example, adjusting a selection rectangle in a drawi...
Garth Shoemaker, Carl Gutwin
CODES
2007
IEEE
13 years 12 months ago
Energy efficient co-scheduling in dynamically reconfigurable systems
Energy consumption is a major issue in dynamically reconfigurable systems because of the high power requirements during repeated configurations. Hardware designs employ low power ...
Pao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu
SEKE
2001
Springer
14 years 10 days ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
JUCS
2000
102views more  JUCS 2000»
13 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
SIGMOD
2012
ACM
246views Database» more  SIGMOD 2012»
11 years 10 months ago
Skimmer: rapid scrolling of relational query results
A relational database often yields a large set of tuples as the result of a query. Users browse this result set to find the information they require. If the result set is large, ...
Manish Singh, Arnab Nandi, H. V. Jagadish