Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
124
click to vote
APSEC
1995
IEEE
112
views
Software Engineering
»
more
APSEC 1995
»
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information
15 years 7 months ago
Download
koasas.kaist.ac.kr
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim
claim paper
Read More »
115
click to vote
SBIA
2000
Springer
92
views
Artificial Intelligence
»
more
SBIA 2000
»
Full Acceptance via Argumentation
15 years 7 months ago
Download
www.ime.usp.br
Daniela V. Carbogim, Renata Wassermann
claim paper
Read More »
115
click to vote
APSEC
1995
IEEE
89
views
Software Engineering
»
more
APSEC 1995
»
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures
15 years 7 months ago
Download
www2.imm.dtu.dk
Dines Bjørner
claim paper
Read More »
104
click to vote
SBIA
2000
Springer
130
views
Artificial Intelligence
»
more
SBIA 2000
»
Structural Learning from Iconic Representations
15 years 7 months ago
Download
homepages.inf.ed.ac.uk
Herman Martins Gomes, Robert B. Fisher
claim paper
Read More »
86
click to vote
APN
1995
Springer
78
views
Artificial Intelligence
»
more
APN 1995
»
Distributed Algorithms and Causally Consistent Observations
15 years 7 months ago
Download
www.vs.inf.ethz.ch
Friedemann Mattern
claim paper
Read More »
« first
‹ previous
…
29613
29614
29615
29616
29617
29618
29619
29620
29621
…
next ›
last »