373 search results - page 34 / 75 » Explicitly Modelling Model Debugging Environments |
116
click to vote
APAL
2008
15 years 18 days ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
131
Voted
WSTFEUS
2003
IEEE
15 years 5 months ago
2003
IEEE
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
189
Voted
SIGMOD
2009
ACM
16 years 21 days ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
107
click to vote
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
90
Voted
CONTEXT
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a computer simulation of context effects on problem solving with AMBR — a model of human analogy-making. It demonstrates how perceiving some incidental object...