Sciweavers

7961 search results - page 79 / 1593
» Input-Output Model Programs
Sort
View
126
Voted
EUROPAR
2006
Springer
15 years 6 months ago
Tying Memory Management to Parallel Programming Models
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
Ioannis E. Venetis, Theodore S. Papatheodorou
144
Voted
KRDB
1996
123views Database» more  KRDB 1996»
15 years 3 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen
IIE
2008
112views more  IIE 2008»
15 years 2 months ago
Towards a Blended Learning Model for Teaching and Learning Computer Programming: A Case Study
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
Said Hadjerrouit
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 10 days ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
122
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...