3591 search results - page 467 / 719 » Typing linear constraints |
190
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
160
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
The use of CMOS nanometer technologies at 65 nm and below will pose serious challenges on the design of mixed-signal integrated systems in the very near future. Rising design comp...
158
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
180
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Complex signal processing algorithms are often specified in floating point precision. Thus, a type conversion is needed when the targeted platform requires fixed-point precis...
170
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...