Sciweavers

5235 search results - page 203 / 1047
» Analysis of Multithreaded Programs
Sort
View
ER
2009
Springer
112views Database» more  ER 2009»
16 years 1 months ago
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
203
Voted
FIDJI
2003
Springer
15 years 11 months ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...
ISSTA
2012
ACM
13 years 9 months ago
Cooperative types for controlling thread interference in Java
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac ...
KBSE
2009
IEEE
16 years 1 months ago
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
Fang Yu, Muath Alkhalaf, Tevfik Bultan
ICSE
2012
IEEE-ACM
13 years 8 months ago
Temporal analysis of API usage concepts
—Software reuse through Application Programming Interfaces (APIs) is an integral part of software development. The functionality offered by an API is not always accessed uniforml...
Gias Uddin, Barthélémy Dagenais, Mar...