10899 search results - page 639 / 2180 » The GP Programming System |
182
click to vote
APCSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
193
click to vote
AAAI
1998
15 years 8 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
207
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 7 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...
184
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...
153
click to vote
ITICSE
2005
ACM
16 years 24 days ago
2005
ACM
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...