Sciweavers

2957 search results - page 110 / 592
» Code analysis and CS-XML
Sort
View
APSEC
2010
IEEE
14 years 10 months ago
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies
Abstract--In order to increase our ability to use measurement to support software development practise we need to do more analysis of code. However, empirical studies of code are e...
Ewan D. Tempero, Craig Anslow, Jens Dietrich, Ted ...
WCFLP
2005
ACM
15 years 8 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
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
ETT
2006
88views Education» more  ETT 2006»
15 years 3 months ago
On the outage behaviour of large DS-CDMA systems with LMMSE detection
Abstract-- The outage behaviour of the single cell DSCDMA uplink is investigated for flat Rayleigh fading channels. Goal of the work is to find an analytical way for the optimisati...
Oliver Prätor, Gerhard Fettweis
ACSD
2005
IEEE
121views Hardware» more  ACSD 2005»
15 years 8 months ago
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...