Sciweavers

4241 search results - page 465 / 849
» A Knowledge-Based Software Information System
Sort
View
CC
2001
Springer
15 years 10 months ago
Goal-Directed Value Profiling
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
Scott A. Watterson, Saumya K. Debray
TAPSOFT
1995
Springer
15 years 10 months ago
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
Hanne Riis Nielson, Flemming Nielson
ATAL
2008
Springer
15 years 8 months ago
So tell me what happened: turning agent-based interactive drama into comics
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
Tiago Alves, Ana Simões, Rui Figueiredo, Ma...
CCS
2008
ACM
15 years 8 months ago
Avoiding timing channels in fixed-priority schedulers
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...
Marcus Völp, Claude-Joachim Hamann, Hermann H...
AVI
2004
15 years 8 months ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...