Sciweavers

7961 search results - page 195 / 1593
» Input-Output Model Programs
Sort
View
125
Voted
ICPPW
2002
IEEE
15 years 8 months ago
High Performance Air Pollution Simulation Using OpenMP
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
Marta Parada, María J. Martín, Ramon...
123
Voted
ICLP
2001
Springer
15 years 8 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
116
Voted
SIGCSE
2002
ACM
135views Education» more  SIGCSE 2002»
15 years 3 months ago
Introducing computer science through animation and virtual worlds
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
Susan H. Rodger
184
Voted
ARES
1998
Springer
15 years 7 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
LPNMR
2009
Springer
15 years 8 months ago
On Reductive Semantics of Aggregates in Answer Set Programming
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
Joohyung Lee, Yunsong Meng