2509 search results - page 145 / 502 » Abstract Geometrical Computation and Computable Analysis |
157
click to vote
SPIN
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
186
click to vote
DIGRA
2005
Springer
15 years 12 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
168
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
138
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...
184
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Profiling is often the method of choice for performance analysis of parallel applications due to its low overhead and easily comprehensible results. However, a disadvanta...