Sciweavers

5109 search results - page 136 / 1022
» On Learning Limiting Programs
Sort
View
155
Voted
IJET
2008
114views more  IJET 2008»
15 years 5 months ago
Proposal of convergence of e-Learning Systems for t-Learning
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
Barbara De Franco, Hilda Carvalho Oliveira, Everal...
ICSE
2007
IEEE-ACM
15 years 11 months ago
Automatic Inference of Structural Changes for Matching across Program Versions
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
Miryung Kim, David Notkin, Dan Grossman
165
Voted
ASP
2003
Springer
15 years 10 months ago
Parametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
Nicola Leone, Simona Perri
PVM
2010
Springer
15 years 2 months ago
Efficient MPI Support for Advanced Hybrid Programming Models
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
Torsten Hoefler, Greg Bronevetsky, Brian Barrett, ...
155
Voted
FORMATS
2009
Springer
15 years 11 months ago
Analyzing Real-Time Event-Driven Programs
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
Pierre Ganty, Rupak Majumdar