Sciweavers

9503 search results - page 347 / 1901
» Authenticated System Calls
Sort
View
PLDI
2010
ACM
16 years 5 months ago
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
206
Voted
MEMBRANE
2004
Springer
16 years 28 days ago
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
Vincenzo Manca, Luca Bianco, Federico Fontana
EUROMICRO
2000
IEEE
16 years 4 hour ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
IUI
2000
ACM
15 years 12 months ago
Procedure based help desk system
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...
Akira Takano, Yuko Yurugi, Atsushi Kanaegami
LCTRTS
1998
Springer
15 years 11 months ago
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
Gaurav Arora, David B. Stewart