570 search results - page 105 / 114 » Constructing reconfigurable software for machine control sys... |
TPHOL
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
PEPM
1999
ACM
13 years 12 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
CC
2007
Springer
14 years 1 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...