Sciweavers

3456 search results - page 184 / 692
» Byte Code Engineering
Sort
View
EMSOFT
2004
Springer
15 years 8 months ago
A typed assembly language for real-time programs
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
Thomas A. Henzinger, Christoph M. Kirsch
172
Voted
ASE
1998
81views more  ASE 1998»
15 years 2 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
ISSRE
2005
IEEE
15 years 8 months ago
Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...
Nachiappan Nagappan, Laurie A. Williams, Jason Osb...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
15 years 8 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
MM
2010
ACM
175views Multimedia» more  MM 2010»
15 years 3 months ago
Subjective evaluation of scalable video coding for content distribution
This paper investigates the influence of the combination of the scalability parameters in scalable video coding (SVC) schemes on the subjective visual quality. We aim at providing...
Jong-Seok Lee, Francesca De Simone, Naeem Ramzan, ...