4693 search results - page 824 / 939 » Verifying Hybrid Systems |
91
Voted
WSC
2004
15 years 2 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
116
click to vote
WSC
2001
15 years 2 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
97
Voted
WSCG
2004
15 years 2 months ago
2004
Inverse rendering infers realistic descriptions of illumination and material properties from photographs. However, the applicability of state of the art inverse rendering algorith...
131
click to vote
NIPS
2003
15 years 2 months ago
2003
A mixed-signal image filtering VLSI has been developed aiming at real-time generation of edge-based image vectors for robust image recognition. A four-stage asynchronous median de...
119
click to vote
FORTE
1997
15 years 2 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...