A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Event-based detection of concurrency
1998
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6
Preserved Fulltext
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. ...
This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of the event traces. ...
Thus, while an engineer might fairly quickly see from a specification the intended concurrency in a system, identifying the points of thread interaction and how much actual concurrent behavior is exhibited ...
doi:10.1145/288195.288214
dblp:conf/sigsoft/CoolW98
fatcat:bcq5my3bqbbnbdf4fvs2vrycem
Event-based detection of concurrency
1998
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Understanding the behavior of a system is crucial in being able to modify, maintain, and improve the system. A particularly difficult aspect of some system behaviors is concurrency. ...
This paper presents a technique to discover patterns of concurrent behavior from traces of system events. The technique is based on a probabilistic analysis of the event traces. ...
Thus, while an engineer might fairly quickly see from a specification the intended concurrency in a system, identifying the points of thread interaction and how much actual concurrent behavior is exhibited ...
doi:10.1145/291252.288214
fatcat:lcrhacpjkbde3iyppe5gznsmlq
STORM
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Concurrency is inherent in today's software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. ...
Such bugs are hard to discover using traditional testing techniques since they require executing a program on a particular unit test (i.e. input) through a particular thread interleaving. ...
Unexpected asynchronous interactions between concurrently executing threads often cause subtle bugs in concurrent programs. ...
doi:10.1145/1810295.1810460
dblp:conf/icse/Rakamaric10
fatcat:juzvojv4wfehdgt2n4hxy5fkxm
Virtual organizing: using threads to coordinate distributed work
2003
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, we found that organizational members relied on simple threads to focus their attention and action on a particular topic over a short period of time, concurrent threads to enable their participation ...
In studying the electronic mail exchanges of organizational members during one year, we found that they engaged in a range of threading activity to establish and maintain continuity, coherence, and coordination ...
Thread A of the five concurrent threads discussed above is a linker thread, for example, triggered by a system crash during linking and subsequently discovered to involve at least three bugs. ...
doi:10.1109/hicss.2003.1174796
dblp:conf/hicss/YatesOW03
fatcat:3xqth3tybbf5pg7k6asd6qncny
TIE
2010
Proceedings of the 5th international symposium on Software visualization - SOFTVIS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present an interactive visualization tool, TIE, that integrates with JPF to enhance concurrency testing and debugging. ...
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. ...
DESIGN OF TIE We propose a solution to the analytic limitations of current thread interleaving outputs by introducing the TIE, a system to support interactive visual analysis of JPF's output. ...
doi:10.1145/1879211.1879247
dblp:conf/softvis/MaheswaraBC10
fatcat:nupeetjnljgblfiwtfxl6zhb3q
Virtual Organizing: Using Threads to Coordinate Distributed Work
2003
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, we found that organizational members relied on simple threads to focus their attention and action on a particular topic over a short period of time, concurrent threads to enable their participation ...
In studying the electronic mail exchanges of organizational members during one year, we found that they engaged in a range of threading activity to establish and maintain continuity, coherence, and coordination ...
Thread A of the five concurrent threads discussed above is a linker thread, for example, triggered by a system crash during linking and subsequently discovered to involve at least three bugs. ...
doi:10.2139/ssrn.420521
fatcat:7mstniwaone3neebiiyyx4wrwe
Discovering models of behavior for concurrent workflows
2004
Computers in industry (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Automated techniques which seek to mine workflow data logs to discover information about the workflows must be able to handle the concurrency that manifests itself in the workflow executions. ...
Using metrics for the number, frequency, and regularity of event occurrences, a determination is made of the likely concurrent behavior being manifested by the system. ...
Acknowledgements This work was supported in part by the National Science Foundation under grants CCR-9302739, CCR-9804067, EIA-9810732, and EIA-0220590; and by the Air Force Materiel Command, Rome Laboratory ...
doi:10.1016/j.compind.2003.10.005
fatcat:sbhdiejwafe5ppuohhg64tcnja
Analysis of Multithreaded Programs
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper surveys research in analysis for multithreaded programs, focusing on ways to improve the efficiency of analyzing interactions between threads, to detect data races, and to ameliorate the impact ...
But multithreading is becoming increasingly important, both as a program structuring mechanism and to support efficient parallel computations. ...
Because such a type system would provide information about the potential interactions between parallel threads, it could also serve as a foundation for new, very precise analyses. ...
doi:10.1007/3-540-47764-0_1
fatcat:rwavkysiwbcblen2hshcaw6weq
Context-Bounded Model Checking of Concurrent Software
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. ...
However, the analysis can still discover intricate bugs and is sound up to the bound since within each context, a thread is fully explored for unbounded stack depth. ...
Dynamic Concurrent Pushdown Systems In this section, we define a dynamic concurrent pushdown system with operations for forking and joining on a thread. ...
doi:10.1007/978-3-540-31980-1_7
fatcat:babkdvqg55g7rd6eceozducfae
Systematic Asynchrony Bug Exploration for Android Apps
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
By enumerating all schedules within a limited threshold of reordering, we maximize the likelihood of encountering asynchrony bugs, according to prevailing hypotheses in the literature, and discover several ...
The input user-event sequence is given either by user interaction, or can be generated by automated ui "monkeys". ...
A tool must explore different possible concurrent behaviors for a given, fixed user interaction with the program. ...
doi:10.1007/978-3-319-21690-4_28
fatcat:mzqelmdulrfolezrnjlxuq6u3i
Introducing concurrency in CS 1
2010
Proceedings of the 41st ACM technical symposium on Computer science education - SIGCSE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Students learn to use separate threads in a way that enables them to write programs that match their intuitions of the world. ...
While the separate threads do interact, programs are selected so that race conditions are generally not an issue. ...
in Curricula 2001, but it is more concerned with the support of concurrency in operating systems rather than writing concurrent programs. ...
doi:10.1145/1734263.1734341
dblp:conf/sigcse/BruceDM10
fatcat:zhqcdjdgsjc6jptf4fdvqqgnsa
Absolutely positively on time: what would it take? [embedded computing systems
2005
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this column, I examine the following question, "if precise timeliness in a networked embedded system is absolutely essential, what has to change?" The answer, unfortunately, is "nearly everything." ...
Despite considerable progress in software and hardware techniques, when embedded computing systems absolutely must meet tight timing constraints, many of the advances in computing become part of the problem ...
The lack of timing in the core abstraction is a flaw, from the perspective of embedded software, and threads as a concurrency model are a poor match for embedded systems. ...
doi:10.1109/mc.2005.211
fatcat:fwacd4oq2jemtfe7kdt5wiuxka
Model checking concurrent linux device drivers
2007
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Furthermore, we take predicate abstraction one step further and introduce a technique to verify concurrent software with shared memory. ...
In particular, in the presence of threads it is essential to truthfully model the synchronization primitives of the operating system. ...
We are able to verify the same properties using a concurrent model with two threads. ...
doi:10.1145/1321631.1321719
dblp:conf/kbse/WitkowskiBKW07
fatcat:zopjgi3zlzbjtf554vd7gyoefe
Threader: A Constraint-Based Verifier for Multi-threaded Programs
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We present a tool that implements Owicki-Gries and relyguarantee methods for the compositional verification of multi-threaded programs. ...
Our procedure is based on a Horn clause encoding of refinement queries and facilitates the discovery of thread-modular proofs when such proofs exist. ...
Introduction Software running on our computers is becoming increasingly concurrent, i.e., it consists of several execution threads that process several tasks in parallel and interact with each other during ...
doi:10.1007/978-3-642-22110-1_32
fatcat:yqmoni3fp5fw3ey7mem6vk3ska
Scalable Software Model Checking Using Design for Verification
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
So far we have applied this approach to verification of synchronization operations in concurrent programs and to verification of interactions among multiple peers in composite web services. ...
There has been significant progress in automated verification techniques based on model checking. However, scalable software model checking remains a challenging problem. ...
We developed a design pattern, called concurrency controller pattern, in which synchronization policies for coordinating the interactions among multiple threads are specified using concurrency controller ...
doi:10.1007/978-3-540-69149-5_36
fatcat:3yitabhurba33k7cp4lb5g3aie
« Previous
Showing results 1 — 15 out of 24,331 results