2205 search results - page 370 / 441 » Mutation Operators for Specifications |
GIS
2004
ACM
14 years 11 months ago
2004
ACM
Spatial, temporal and spatio-temporal aggregates over continuous streams of remotely sensed image data build a fundamental operation in many applications in the environmental scie...
DAC
2007
ACM
14 years 11 months ago
2007
ACM
Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
ICDT
2009
ACM
14 years 11 months ago
2009
ACM
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
An infosuasive web application is mainly intended to be at the same time informative and persuasive, i.e., it aims at supporting knowledge needs and it has also the (declared or n...