990 search results - page 27 / 198 » A Static Analysis Technique for Graph Transformation Systems |
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
IANDC
2008
13 years 7 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
QSIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...