5200 search results - page 889 / 1040 » Symbolic models for control systems |
150
Voted
CISSE
2007
Springer
16 years 1 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
173
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
167
click to vote
IPSN
2005
Springer
16 years 16 days ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
202
Voted
JSSPP
2005
Springer
16 years 16 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
169
click to vote
ISSTA
2004
ACM
16 years 14 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...