Sciweavers

6050 search results - page 960 / 1210
» Information In The Non-Stationary Case
Sort
View
CC
2006
Springer
182views System Software» more  CC 2006»
14 years 2 months ago
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Brid...
ECAI
2004
Springer
14 years 2 months ago
Artificial Agents - Personhood in Law and Philosophy
Thinking about how the law might decide whether to extend legal personhood to artificial agents provides a valuable testbed for philosophical theories of mind. Further, philosophic...
Samir Chopra, Laurence White
EMSOFT
2004
Springer
14 years 2 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
EUROMICRO
2004
IEEE
14 years 2 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
FDL
2004
IEEE
14 years 2 months ago
SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
Kari Tiensyrjä, Miroslav Cupák, Kostas...