Sciweavers

626 search results - page 105 / 126
» Towards a Unified Programming Language
Sort
View
VL
2008
IEEE
130views Visual Languages» more  VL 2008»
15 years 6 months ago
Exploring the evolution of software quality with animated visualization
Assessing software quality and understanding how events in its evolution have lead to anomalies are two important steps toward reducing costs in software maintenance. Unfortunatel...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...
TPHOL
2007
IEEE
15 years 6 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
SIGADA
2001
Springer
15 years 4 months ago
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
Dhavy Gantsou
TOOLS
1999
IEEE
15 years 4 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
60
Voted
IFIP
2000
Springer
15 years 3 months ago
Minimum GPRS Bandwidth for Acceptable H
: As part of a larger research on multimedia traffic performance over GPRS, we present a QoS study focusing on one parameter: bandwidth. GPRS is an evolutionary phase and a critica...
Iyad Al Khatib, Anders Franzen, Fabio Moioli