15754 search results - page 752 / 3151 » Programs are Knowledge Bases |
211
click to vote
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
161
click to vote
LCPC
2004
Springer
16 years 27 days ago
2004
Springer
We explore the effectiveness of using traces in optimization. We build a trace collection system for the Jikes Research Virtual Machine and create traces based on the execution of...
146
click to vote
PG
2003
IEEE
16 years 24 days ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
191
click to vote
ICSM
2002
IEEE
16 years 14 days ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
189
click to vote
IPPS
2002
IEEE
16 years 14 days ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...