4693 search results - page 308 / 939 » Verifying Hybrid Systems |
201
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—The ubiquity of mobile devices has brought forth the concept of participatory sensing, whereby ordinary citizens can now contribute and share information from the urban environm...
209
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
163
click to vote
JPDC
2006
15 years 6 months ago
2006
We describe a new suite of computational benchmarks that models applications featuring multiple levels of parallelism. Such parallelism is often available in realistic flow comput...
195
click to vote
SIAMCO
2008
15 years 6 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
168
click to vote
HCI
2009
15 years 4 months ago
2009
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...