Sciweavers

4890 search results - page 433 / 978
» From system specifications to component behavioral models
Sort
View
SAC
2003
ACM
16 years 10 days ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
CHI
2006
ACM
16 years 7 months ago
Insert movie reference here: a system to bridge conversation and item-oriented web sites
Item-oriented Web sites maintain repositories of information about things such as books, games, or products. Many of these Web sites offer discussion forums. However, these forums...
Sara Drenner, F. Maxwell Harper, Dan Frankowski, J...
IPPS
1999
IEEE
15 years 11 months ago
An Adaptive, Distributed Airborne Tracking System ("process the Right Tracks at the Right Time")
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...
Raymond K. Clark, E. Douglas Jensen, Arkady Kanevs...
HVEI
2010
15 years 8 months ago
Tangible display systems: direct interfaces for computer-based studies of surface appearance
When evaluating the surface appearance of real objects, observers engage in complex behaviors involving active manipulation and dynamic viewpoint changes that allow them to observ...
Benjamin A. Darling, James A. Ferwerda
PADS
2006
ACM
16 years 1 months ago
SOAr-DSGrid: Service-Oriented Architecture for Distributed Simulation on the Grid
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
Xinjun Chen, Wentong Cai, Stephen John Turner, Yon...