5093 search results - page 59 / 1019 » How Real are Real Numbers |
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
ICDCSW
2002
IEEE
14 years 19 days ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
RTAS
2000
IEEE
14 years 1 days ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
ASYNC
1999
IEEE
13 years 12 months ago
1999
IEEE
We describe an extension of the virtual volume concept to multiple sensors. Data from multiple sensors are combined in real-time and mapped into a constantly updating three-dimens...