Sciweavers

684 search results - page 25 / 137
» Requirements for an Elucidative Programming Environment
Sort
View
76
Voted
ISCA
2005
IEEE
131views Hardware» more  ISCA 2005»
15 years 3 months ago
BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging
Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code. To assist developers, we propose the BugNet architecture to continuousl...
Satish Narayanasamy, Gilles Pokam, Brad Calder
ENTCS
2006
160views more  ENTCS 2006»
14 years 9 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ENTCS
2008
114views more  ENTCS 2008»
14 years 9 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
PERCOM
2005
ACM
15 years 9 months ago
Experiences with MundoCore
Pervasive Computing environments require new communication and programming paradigms. In this paper we present our experiences from the implementation of MundoCore, a pervasive co...
Erwin Aitenbichler, Jussi Kangasharju, Max Mü...
DAC
2005
ACM
14 years 11 months ago
Matlab extensions for the development, testing and verification of real-time DSP software
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
David P. Magee