Sciweavers

4722 search results - page 177 / 945
» Encoding Program Executions
Sort
View
ACTAC
2007
69views more  ACTAC 2007»
15 years 5 months ago
Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
Dávid Hanák, Nagarajan Kandasamy
SP
2003
IEEE
107views Security Privacy» more  SP 2003»
15 years 10 months ago
Anomaly Detection Using Call Stack Information
The call stack of a program execution can be a very good information source for intrusion detection. There is no prior work on dynamically extracting information from call stack a...
Henry Hanping Feng, Oleg M. Kolesnikov, Prahlad Fo...
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 5 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
SIGPLAN
2008
15 years 4 months ago
Some thoughts on teaching programming and programming languages
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
John C. Reynolds
SAC
2005
ACM
15 years 10 months ago
[a]C#: C# with a customizable code annotation mechanism
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
Walter Cazzola, Antonio Cisternino, Diego Colombo