5377 search results - page 598 / 1076 » Programming Languages For Interactive Computing |
173
click to vote
WSC
1997
15 years 8 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
144
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we compare the usability of several presentation formats for ontological knowledge of events. The goal is to support further work in knowledge acquisition from infor...
160
click to vote
CASSIS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
206
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
155
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...