X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (127) 127
Conference Proceeding (68) 68
Publication (29) 29
Patent (23) 23
Book Chapter (14) 14
Report (3) 3
Government Document (2) 2
Book / eBook (1) 1
Dissertation (1) 1
Paper (1) 1
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
physics (39) 39
computer science, software engineering (24) 24
astrophysics (21) 21
gravitational waves (21) 21
calculating (19) 19
computing (19) 19
counting (19) 19
electric digital data processing (19) 19
high energy astrophysical phenomena (19) 19
general relativity and quantum cosmology (18) 18
computer science (17) 17
computer science, theory & methods (17) 17
software engineering (15) 15
logics and meanings of programs (14) 14
astronomy & astrophysics (13) 13
verification (12) 12
algorithms (11) 11
mathematical logic and formal languages (10) 10
randomized algorithm (10) 10
physics, particles & fields (9) 9
random interpretation (9) 9
programming languages, compilers, interpreters (8) 8
reliability (8) 8
detectors (7) 7
interferometers (7) 7
radiation (7) 7
searching (7) 7
uninterpreted functions (7) 7
artificial intelligence (6) 6
black holes (6) 6
cosmology (6) 6
physics, multidisciplinary (6) 6
programming techniques (6) 6
electric communication technique (5) 5
electricity (5) 5
instrumentation and methods for astrophysic (5) 5
physics and astronomy (5) 5
pictorial communication, e.g. television (5) 5
transmission of digital information, e.g. telegraphiccommunication (5) 5
waveforms (5) 5
[ phys.grqc ] physics [physics]/general relativity and quantum cosmology [gr-qc] (4) 4
advanced ligo (4) 4
astronomy (4) 4
buildings (4) 4
fysik (4) 4
global value numbering (4) 4
herbrand equivalences (4) 4
languages (4) 4
lasers (4) 4
logic design (4) 4
memory safety (4) 4
methods: observational (4) 4
natural sciences (4) 4
naturvetenskap (4) 4
physical sciences (4) 4
transients (4) 4
[ phys.astr.he ] physics [physics]/astrophysics [astro-ph]/high energy astrophysical phenomena [astro-ph.he] (3) 3
abstract interpretation (3) 3
affine relationships (3) 3
android (3) 3
astrophysics, cosmology and astronomy (3) 3
coalescing (3) 3
compatibility with library code (3) 3
computer logic (3) 3
computer science, artificial intelligence (3) 3
concurrency errors (3) 3
domain-specific languages (3) 3
emission (3) 3
experimentation (3) 3
gamma-ray bursts (3) 3
gravitation (3) 3
infectious diseases (3) 3
instrumentation and methods for astrophysics (3) 3
interprocedural analysis (3) 3
interprocedural value numbering (3) 3
java (3) 3
laboratories (3) 3
linear equalities (3) 3
linear relationships (3) 3
mathematical models (3) 3
physics - high energy astrophysical phenomena (3) 3
pointer (3) 3
run-time type information (3) 3
safety (3) 3
software testing (3) 3
stars: black holes (3) 3
system (3) 3
test generation (3) 3
testing (3) 3
texts (3) 3
type safety (3) 3
acquisitions (2) 2
algorithm analysis and problem complexity (2) 2
article (2) 2
assembly code (2) 2
astronomy and astrophysics (2) 2
automata (2) 2
automation (2) 2
biological system modeling (2) 2
black-hole (2) 2
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 05/2005, Volume 27, Issue 3, pp. 477 - 526
This article describes CCured, a program transformation system that adds type safety guarantees to existing C programs. CCured attempts to verify statically... 
libraries | pointer qualifier | Memory safety | subtyping | Libraries | Subtyping | Pointer qualifier | COMPUTER SCIENCE, SOFTWARE ENGINEERING | ERRORS | POINTER | memory safety | CHECKING
Journal Article
Proceedings of the 40th International Conference on software engineering, ISSN 0270-5257, 05/2018, Volume 2018-, pp. 445 - 455
In recent years, several automated GUI testing techniques for Android apps have been proposed. These tools have been shown to be effective in achieving good... 
test minimization | GUI | Android | Redundancy | Computer bugs | Humanoid robots | Tools | Test minimization | Androids | Graphical user interfaces | Testing
Conference Proceeding
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 03/2008, Volume 30, Issue 2, pp. 1 - 51
It is difficult to write programs that behave correctly in the presence of run-time errors. Proper behavior in the face of exceptional situations is important... 
resource management | compensating transactions | linear types | Error handling | linear sagas | Linear types | Resource management | Compensating transactions | Linear sagas | JAVA | languages | reliability | FAULT-TOLERANCE | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SUPPORT | SPECIFICATIONS | design | error handling | verification | WORKFLOW MANAGEMENT-SYSTEMS
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2002, Volume 2304, pp. 213 - 228
This paper describes the C Intermediate Language: a high-level representation along with a set of tools that permit easy analysis and source-to-source... 
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Conference Proceeding
Physical Review Letters, ISSN 0031-9007, 2016, Volume 116, Issue 6, p. 061102
On September 14, 2015 at 09: 50: 45 UTC the two detectors of the Laser Interferometer Gravitational-Wave Observatory simultaneously observed a transient... 
SYSTEM | PHYSICS, MULTIDISCIPLINARY | COALESCENCE | FIELD | LIGO | MASS | PULSAR | STELLAR | RADIATION | Intervals | Gravitational waves | Detectors | Waveforms | Luminosity | Texts | Black holes (astronomy) | Interferometers | General Relativity and Quantum Cosmology | Sciences of the Universe | Astrophysics | Cosmology and Extra-Galactic Astrophysics | Physics
Journal Article
Physical Review Letters, ISSN 0031-9007, 2016, Volume 116, Issue 24, pp. 1 - 19
On September 14, 2015, the Laser Interferometer Gravitational-Wave Observatory (LIGO) detected a gravitational-wave transient (GW150914); we characterize the... 
PARAMETER-ESTIMATION | PHYSICS, MULTIDISCIPLINARY | ADVANCED LIGO | SIGNALS | STELLAR | OBJECT | RADIATION | X-1 | MAXIMUM MASS | INSPIRALING COMPACT BINARIES | GRAVITATIONAL WAVE-FORMS | Lasers | Gravitational waves | Waveforms | Texts | Cosmology | Mathematical models | Standards | Interferometers | General Relativity and Quantum Cosmology | Astrophysics | Physics | High Energy Astrophysical Phenomena
Journal Article
by Abbott, B. P and Abbott, R and Abbott, T. D and Abernathy, M. R and Acernese, F and Ackley, K and Adams, C and Phythian-Adams, A.T and Addesso, P and Adhikari, R. X and Adya, V. B and Affeldt, C and Agathos, M and Agatsuma, K and Aggarwal, N.T and Aguiar, O. D and Aiello, L and Ain, A and Ajith, P and Allen, B and Allocca, A and Altin, P. A and Anderson, S. B and Anderson, W. G and Arai, K and Araya, M. C and Arceneaux, C. C and Areeda, J. S and Arnaud, N and Arun, K. G and Ascenzi, S and Ashton, G and Ast, M and Aston, S. M and Astone, P and Aufmuth, P and Aulbert, C and Babak, S and Bacon, P and Bader, M. K. M and Baker, P. T and Baldaccini, F and Ballardin, G and Ballmer, S. W and Barayoga, J. C and Barclay, S. E and Barish, B. C and Barker, R.D and Barone, F and Barr, B and Barsotti, L and Barsuglia, M and Barta, D and Bartlett, J and Bartos, I and Bassiri, R and Basti, A and Batch, J. C and Baune, C and Bavigadda, V and Bazzan, M and Behnke, B and Bejger, M and Bell, A. S and Bell, C. J and Berger, B. K and Bergman, J and Bergmann, G and Berry, C. P. L and Bersanetti, D and Bertolini, A and Betzwieser, J and Bhagwat, S and Bhandare, R and Bilenko, I. A and Billingsley, G and Birch, M.J and Birney, R and Birnholtz, O and Biscans, S and Bisht, A and Bitossi, M and Biwer, C and Bizouard, M. A and Blackburn, J. K and Blair, C. D and Blair, D. G and Blair, R. M and Bloemen, A.L.S and Bock, O and Bodiya, T. P and Boer, M and Bogaert, J.G and Bogan, C and Bohe, A and Bojtos, P and Bond, T.C and Bondu, F and Bonnand, R and Boom, B. A and ... and LIGO Sci Collaboration and Virgo Collaboration and LIGO Scientific and Virgo Collaborations
Physical Review Letters, ISSN 0031-9007, 05/2016, Volume 116, Issue 22, p. 221101
The LIGO detection of GW150914 provides an unprecedented opportunity to study the two-body motion of a compact-object binary in the large velocity, highly... 
PULSAR | BLACK-HOLE | PHYSICS, MULTIDISCIPLINARY | RADIATION | MASS | GRAVITATIONAL-WAVE OBSERVATIONS | Phases | Wavelengths | Relativity | Waveforms | Gravitational fields | Black holes (astronomy) | Mathematical models | Gravitons | Physics - General Relativity and Quantum Cosmology | General Relativity and Quantum Cosmology | Physics
Journal Article
Lecture Notes in Computer Science, ISSN 0302-9743, 2005, Volume 3440, pp. 461 - 476
Specifications are necessary in order to find software bugs using program verification tools. This paper presents a novel automatic specification mining... 
COMPUTER SCIENCE, THEORY & METHODS
Conference Proceeding
by Abbott, B. P and Abbott, R and Abbott, T. D and Abernathy, M. R and Acernese, F and Ackley, K and Adams, C and Phythian-Adams, A.T and Addesso, P and Adhikari, R. X and Adya, V. B and Affeldt, C and Agathos, M and Agatsuma, K and Aggarwal, N.T and Aguiar, O. D and Aiello, L and Ain, A and Ajith, P and Allen, B and Allocca, A and Altin, P. A and Anderson, S. B and Anderson, W. G and Arai, K and Araya, M. C and Arceneaux, C. C and Areeda, J. S and Arnaud, N and Arun, K. G and Ascenzi, S and Ashton, G and Ast, M and Aston, S. M and Astone, P and Aufmuth, P and Aulbert, C and Babak, S and Bacon, P and Bader, M. K. M and Baker, P. T and Baldaccini, F and Ballardin, G and Ballmer, S. W and Barayoga, J. C and Barclay, S. E and Barish, B. C and Barker, R.D and Barone, F and Barr, B and Barsotti, L and Barsuglia, M and Barta, D and Bartlett, J and Bartos, I and Bassiri, R and Basti, A and Batch, J. C and Baune, C and Bavigadda, V and Bazzan, M and Behnke, B and Bejger, M and Belczynski, C and Bell, A. S and Bell, C. J and Berger, B. K and Bergman, J and Bergmann, G and Berry, C. P. L and Bersanetti, D and Bertolini, A and Betzwieser, J and Bhagwat, S and Bhandare, R and Bilenko, I. A and Billingsley, G and Birch, M.J and Birney, R and Biscans, S and Bisht, A and Bitossi, M and Biwer, C and Bizouard, M. A and Blackburn, J. K and Blair, C. D and Blair, D. G and Blair, R. M and Bloemen, A.L.S and Bock, O and Bodiya, T. P and Boer, M and Bogaert, J.G and Bogan, C and Bohe, A and Bojtos, P and Bond, T.C and Bondu, F and Bonnand, R and Boom, B. A and ... and Ligo Sci Collaboration and Virgo Collaboration and LIGO Scientific Collaboration and Virgo Collaboration
Astrophysical Journal Letters, ISSN 2041-8205, 02/2016, Volume 818, Issue 2, p. L22
The discovery of the gravitational-wave (GW) source GW150914 with the Advanced LIGO detectors provides the first observational evidence for the existence of... 
stars: black holes | stars: massive | gravitational waves | COMPACT-OBJECT BINARIES | GRAVITATIONAL-WAVE SOURCES | GRAVITY-WAVES | NEUTRON-STAR | MAXIMUM MASS | DIFFERENT METALLICITIES | SYNTHESIS MODELS | YOUNG STAR-CLUSTERS | PAIR-INSTABILITY | STELLAR EVOLUTION | ASTRONOMY & ASTROPHYSICS
Journal Article
by Abbott, B. P and Abbott, R and Abbott, T. D and Abernathy, M. R and Acernese, F and Ackley, K and Adams, C and Phythian-Adams, A.T and Addesso, P and Adhikari, R. X and Adya, V. B and Affeldt, C and Agathos, M and Agatsuma, K and Aggarwal, N.T and Aguiar, O. D and Aiello, L and Ain, A and Ajith, P and Allen, B and Allocca, A and Altin, P. A and Anderson, S. B and Anderson, W. G and Arai, K and Araya, M. C and Arceneaux, C. C and Areeda, J. S and Arnaud, N and Arun, K. G and Ascenzi, S and Ashton, G and Ast, M and Aston, S. M and Astone, P and Aufmuth, P and Aulbert, C and Babak, S and Bacon, P and Bader, M. K. M and Baker, P. T and Baldaccini, F and Ballardin, G and Ballmer, S. W and Barayoga, J. C and Barclay, S. E and Barish, B. C and Barker, R.D and Barone, F and Barr, B and Barsotti, L and Barsuglia, M and Barta, D and Bartlett, J and Bartos, I and Bassiri, R and Basti, A and Batch, J. C and Baune, C and Bavigadda, V and Bazzan, M and Behnke, B and Bejger, M and Bell, A. S and Bell, C. J and Berger, B. K and Bergman, J and Bergmann, G and Berry, C. P. L and Bersanetti, D and Bertolini, A and Betzwieser, J and Bhagwat, S and Bhandare, R and Bilenko, I. A and Billingsley, G and Birch, M.J and Birney, R and Biscans, S and Bisht, A and Bitossi, M and Biwer, C and Bizouard, M. A and Blackburn, J. K and Blair, C. D and Blair, D. G and Blair, R. M and Bloemen, A.L.S and Bock, O and Bodiya, T. P and Boer, M and Bogaert, J.G and Bogan, C and Bohe, A and Bojtos, P and Bond, T.C and Bondu, F and Bonnand, R and Boom, B. A and Bork, R and ... and LIGO Sci Collaboration and Virgo Collaboration and LIGO Scientific Collaboration and Virgo Collaboration
Physical Review Letters, ISSN 0031-9007, 03/2016, Volume 116, Issue 13, p. 131103
Following a major upgrade, the two advanced detectors of the Laser Interferometer Gravitational-wave Observatory (LIGO) held their first observation run... 
THERMAL NOISE | PHYSICS, MULTIDISCIPLINARY | RADIATION | Coalescing | Lasers | Gravitational waves | Detectors | Binary systems (materials) | Astronomy | Interferometers | Signal to noise ratio | General Relativity and Quantum Cosmology | Astrophysics | Physics | Instrumentation and Methods for Astrophysic | High Energy Astrophysical Phenomena
Journal Article
Living Reviews in Relativity, ISSN 1433-8351, 2016, Volume 19, Issue 1, pp. 1 - 39
We present a possible observing scenario for the Advanced LIGO and Advanced Virgo gravitational-wave detectors over the next decade, with the intention of... 
Data analysis | Astrophysics and Astroparticles | Electromagnetic counterparts | Gravitational waves | Cosmology | Classical and Quantum Gravitation, Relativity Theory | Physics | Gravitational-wave detectors | PARAMETER-ESTIMATION | SEARCH | BURSTS | FOLLOW-UP | RADIATION | BINARY INSPIRALS | COUNTERPARTS | MERGERS | PHYSICS, PARTICLES & FIELDS | Review
Journal Article