Sciweavers

3456 search results - page 261 / 692
» Byte Code Engineering
Sort
View
WCRE
2006
IEEE
15 years 9 months ago
How Programs Represent Reality (and how they don't)
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
Daniel Ratiu, Florian Deissenboeck
APSEC
2005
IEEE
15 years 9 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
CODES
2005
IEEE
15 years 9 months ago
Automatic network generation for system-on-chip communication design
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
CODES
2005
IEEE
15 years 9 months ago
A core flight software system
No two flight missions are alike, hence, development and on-orbit software costs are high. Software portability and adaptability across hardware platforms and operating systems ha...
Jonathan Wilmot
CSMR
2005
IEEE
15 years 9 months ago
Characterizing the Evolution of Class Hierarchies
Analyzing historical information can show how a software system evolved into its current state, which parts of the system are stable and which have changed more. However, historic...
Tudor Gîrba, Michele Lanza, Stéphane ...