570 search results - page 105 / 114 » Constructing reconfigurable software for machine control sys... |
143
click to vote
TPHOL
1999
IEEE
15 years 6 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...
126
click to vote
EUROSYS
2008
ACM
15 years 11 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...
131
Voted
PEPM
1999
ACM
15 years 6 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...
107
Voted
IPPS
2007
IEEE
15 years 8 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
15 years 8 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...