4722 search results - page 697 / 945 » Encoding Program Executions |
132
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
100
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
124
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
104
click to vote
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
126
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...